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/synthesizer/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