aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/synthesizer
diff options
context:
space:
mode:
authorEduardo Julian2017-12-28 23:19:37 -0400
committerEduardo Julian2017-12-28 23:19:37 -0400
commit59d674d660b4e52ec54ef046024b850b4eeb7a0f (patch)
tree7a870b0adea8003003309c7e55198c3f448cc59b /new-luxc/source/luxc/synthesizer
parentbcb247513c80d321fcdd20e655b666a97269c54e (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