Commit Graph

3 Commits

Author SHA1 Message Date
Georges Dupéron
fe80d8c028 More documentation, fixed some bugs. 2017-05-10 03:34:07 +02:00
Georges Dupéron
9e3e2478bf Moved the-case-dispatch to ids.rkt 2017-05-09 20:20:42 +02:00
Georges Dupéron
eccf84b899 Most of the proof of concept done. 2017-05-09 19:42:05 +02:00