diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-16 13:04:09 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-16 13:04:09 -0500 |
| commit | 046b47ab5a077e76abd9610946428419cfe82ca9 (patch) | |
| tree | 5d44f0c0d5207bcee0dca64feb74eec21ed67fd8 /utils | |
| parent | efaa51de15017b92618634898fc2c2aee2c5fd5b (diff) | |
| download | haskell-046b47ab5a077e76abd9610946428419cfe82ca9.tar.gz | |
Note [The equality types story] in TysPrim
This supercedes the Note recently written in TysWiredIn.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions