Directory listing for twee-2.2 source tarball
twee-2.2/
- LICENSE
- README.md
- Setup.hs
- twee.cabal
- executable/
- misc/
- tests/
- BOO067-1.p
- LAT072-1.p
- PUZ037-3-2.p
- PUZ037-3.p
- PUZ052-1.p
- ROB010-1.p
- ROB027-1.p
- ROB033-1.p
- append-rev.p
- db-goal.p
- db.p
- deriv.p
- diff.p
- fol.p
- group.p
- lat.p
- lcl.p
- loop.p
- loop2.p
- lukasiewicz.p
- minus.p
- nand-goal.p
- nand.p
- nicomachus.p
- ring-goal.p
- ring.p
- ring2-cancel.p
- ring2-goal.p
- ring2.p
- ring3-goal.p
- ring3.p
- ring4-goal.p
- ring4.p
- robbins-easy.p
- robbins-goal.p
- robbins.p
- sam.p
- semigroup.p
- semigroup2.p
- veroff.p
- winkler-easy.p
- winkler.p
- winkler2.p
- y.p