/hsolve/
../
.gitignore
FSu.hs
Main.hs
hsolve.cabal
stack.yaml
verify.sh