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 /code_of_conduct.md | |
parent | 8760f9bc9399cdc0d862f4d841bf920818d4c7bb (diff) |
- Returned to old format of type-environments where odds are arguments & evens are quantifiers.
Diffstat (limited to 'code_of_conduct.md')
0 files changed, 0 insertions, 0 deletions