Change History for Plugins/TypeChecker

Version Date Author Comment
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 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 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