https://github.com/mpu/dedukti
Tip revision: 9e949703e9c2bb79e888085b45cbe5afefc9a717 authored by Quentin Carbonneaux on 10 May 2012, 16:42:29 UTC
Fasten the parser.
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 |