https://github.com/mpu/dedukti
History
Tip revision: 9e949703e9c2bb79e888085b45cbe5afefc9a717 authored by Quentin Carbonneaux on 10 May 2012, 16:42:29 UTC
Fasten the parser.
Tip revision: 9e94970
File Mode Size
Dedukti
System
doc
lua
scripts
t
.gitignore -rw-r--r-- 14 bytes
COPYING -rw-r--r-- 34.3 KB
Dedukti.hs -rw-r--r-- 3.6 KB
Setup.lhs -rwxr-xr-x 76 bytes
Test.hs -rw-r--r-- 3.0 KB
dedukti.cabal -rw-r--r-- 3.9 KB
setpath.sh -rw-r--r-- 80 bytes

back to top