diff options
author | Eduardo Julian | 2017-12-28 23:19:37 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-12-28 23:19:37 -0400 |
commit | 59d674d660b4e52ec54ef046024b850b4eeb7a0f (patch) | |
tree | 7a870b0adea8003003309c7e55198c3f448cc59b /README.md | |
parent | bcb247513c80d321fcdd20e655b666a97269c54e (diff) |
- A small, in-development module for doing constructive mathematics with something close to dependent types.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions