summaryrefslogtreecommitdiff
path: root/hsolve
ModeNameSize
-rw-r--r--.gitignore73logplain
-rw-r--r--FSu.hs4712logplain
-rw-r--r--Main.hs16533logplain
-rw-r--r--hsolve.cabal445logplain
-rw-r--r--stack.yaml2167logplain
-rwxr-xr-xverify.sh94logplain