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 /new-luxc/source/luxc/analyser/case.lux | |
parent | bcb247513c80d321fcdd20e655b666a97269c54e (diff) |
- A small, in-development module for doing constructive mathematics with something close to dependent types.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions