diff options
| author | Eduardo Julian | 2015-08-28 22:46:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-08-28 22:46:12 -0400 |
| commit | 8de225f98aaed212bf3b683208bff5c6ab85a835 (patch) | |
| tree | f9a3e197c7bf62cffa411f5a9e768cbca6a76d9b /.gitignore | |
| parent | a10d922283a9256f0f0015d9d00a0c549b1891cb (diff) | |
- Changed the name of AllT (for-all type) to UnivQ (universal quantification).
- UnivQ no longer stores the environment as key-val pairs with Text names, but instead stores it as type-lists with variables accessed via an index through a (updated) BoundT.
- UnivQ no longer stores the name of the type-fun, not the name of the type-arg.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions