e6a9cedd
Simon Peyton Jones
Update type checker
May 28, 2019
markdown
13ee9668
Takenobu Tani
Update links for source code
This fix using `sed -i -e 's#/trac/ghc/browser/ghc/#https://gitlab.haskell.org/ghc/ghc/blob/master/#g'`
Apr 14, 2019
markdown
b520bcd5
Ben Gamari
Update type checker
Apr 01, 2019
markdown
56738617
Ben Gamari
Rewrite superfluous issue links
Many issues in the wiki were unnecessarily links:
```
... patch posted in [\#1346](https://gitlab.haskell.org/ghc/ghc/issues/1346).
```
This rewrites these as `#1346` using
```bash
sed -i -r -e 's/\[\\#([0-9]+)\]\([^)]+\/\1\)/#\1/g' $(find -iname '*.md')
```
And manually eyeballing the result.
Apr 01, 2019
markdown
6530fd1d
Tobias Dammers
Fix markdown link syntax
Mar 29, 2019
markdown
cc1a7a6a
Tobias Dammers
Re-run import
Mar 29, 2019
markdown
8d2d9a9f
Tobias Dammers
Remove leading space from markdown link labels
Mar 14, 2019
markdown
27dcc03a
Tobias Dammers
Convert some code links
Mar 13, 2019
markdown
a9aa09ee
Adam Gundry
Edit Plugins/TypeChecker
May 18, 2018
markdown
ae8c9cb6
Adam Gundry
Add list of issues matching TypeCheckerPlugins keyword
May 18, 2018
markdown
e5ed24e9
Adam Gundry
update status of Phab:D909 and make clear which changes have been implemented
Jun 01, 2015
markdown
4d31a7e8
Adam Gundry
thoughts about evidence
Jun 01, 2015
markdown
a66679fc
goldfire
Edit Plugins/TypeChecker
May 27, 2015
markdown
f580d6ea
Adam Gundry
embedding CoreExpr in EvTerm
May 27, 2015
markdown
c77bd2a7
Adam Gundry
Phab:D909
May 26, 2015
markdown
be6b41bd
Adam Gundry
making TcPluginM wrap TcS turns out to be hard
May 26, 2015
markdown
a72bd78d
Adam Gundry
propose additions to plugins API
May 26, 2015
markdown
d057ec2a
Adam Gundry
some more applications
May 04, 2015
markdown
3850bf19
Adam Gundry
add applications section
Feb 28, 2015
markdown
69d2aab4
Adam Gundry
update links to ghc-devs threads about evidence; describe more outstanding issues
Feb 27, 2015
markdown
