https://github.com/koengit/intuit
Revision dd965ce7c5ebfa22983bba98ced77be7fc1f0aa5 authored by Nick Smallbone on 21 September 2020, 11:34:21 UTC, committed by Nick Smallbone on 21 September 2020, 11:34:21 UTC
1 parent cb3b1aa
Tip revision: dd965ce7c5ebfa22983bba98ced77be7fc1f0aa5 authored by Nick Smallbone on 21 September 2020, 11:34:21 UTC
Update Parsek to use MonadFail.
Update Parsek to use MonadFail.
Tip revision: dd965ce
File | Mode | Size |
---|---|---|
Benchmarks | ||
paper | ||
.gitignore | -rw-r--r-- | 134 bytes |
Clausify.hs | -rw-r--r-- | 7.6 KB |
Incremental.hs | -rw-r--r-- | 2.6 KB |
Intuit.hs | -rw-r--r-- | 6.3 KB |
LICENSE | -rw-r--r-- | 0 bytes |
Makefile | -rw-r--r-- | 732 bytes |
ParseProblem.hs | -rw-r--r-- | 6.8 KB |
Parsek.hs | -rw-r--r-- | 17.6 KB |
README.md | -rw-r--r-- | 386 bytes |
Setup.hs | -rw-r--r-- | 46 bytes |
intuit.cabal | -rw-r--r-- | 651 bytes |
run_bench.sh | -rwxr-xr-x | 574 bytes |
Computing file changes ...