Change History for Plugins/TypeChecker

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