diff options
| author | Eduardo Julian | 2015-08-28 17:58:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-08-28 17:58:32 -0400 |
| commit | a10d922283a9256f0f0015d9d00a0c549b1891cb (patch) | |
| tree | 452c47ecee4d91d1e7eabd52704a391896af9b52 /src/lang | |
| parent | d916be54994c8266f005744f7c3a61a36a39e31d (diff) | |
The environments of AllT types are no longer stored inside a Maybe.
Diffstat (limited to 'src/lang')
0 files changed, 0 insertions, 0 deletions