diff options
| author | Eduardo Julian | 2015-09-29 07:40:29 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-29 07:40:29 -0400 |
| commit | 57ed0ef20db8f6ae926c1f7580f5bfa26928612b (patch) | |
| tree | 7566f4004b8507de816eb6c50dd9fe8068721c4b /.gitignore | |
| parent | 8760f9bc9399cdc0d862f4d841bf920818d4c7bb (diff) | |
- Returned to old format of type-environments where odds are arguments & evens are quantifiers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions