Change History for Plugins/TypeChecker

Version Date Author Comment
22 8 months adamgundry
21 8 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 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