Change History for Plugins/TypeChecker

Version Date Author Comment
22 6 months adamgundry
21 6 months adamgundry Add list of issues matching TypeCheckerPlugins keyword
20 3 years adamgundry update status of Phab:D909 and make clear which changes have been …
19 3 years adamgundry thoughts about evidence
18 3 years goldfire
17 3 years adamgundry embedding CoreExpr in EvTerm
16 3 years adamgundry Phab:D909
15 3 years adamgundry making TcPluginM wrap TcS turns out to be hard
14 3 years adamgundry propose additions to plugins API
13 4 years adamgundry some more applications
12 4 years adamgundry add applications section
11 4 years adamgundry update links to ghc-devs threads about evidence; describe more …
10 4 years adamgundry link to #10077
9 4 years adamgundry add FAQ
8 4 years adamgundry Discuss CoAxiomRule serialization problem
7 4 years adamgundry Link to Phabricator
6 4 years adamgundry Updates following implementation
5 4 years adamgundry Answer questions
4 4 years adamgundry Pointer to information about Ct (thanks Carter)
3 4 years darchon
2 4 years goldfire
1 4 years adamgundry