Change History for Plugins/TypeChecker

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