Directory listing for twee-2.3 source tarball
twee-2.3/
- LICENSE
- README.md
- Setup.hs
- twee.cabal
- executable/
- misc/
- tests/
- BOO067-1.p
- GRP666-4.p
- LAT071-1.p
- LAT072-1.p
- LAT073-1.p
- PUZ037-3-2.p
- PUZ037-3.p
- PUZ052-1.p
- REL038-1.p
- RNG035-7.p
- ROB010-1.p
- ROB027-1.p
- ROB033-1.p
- append-rev.p
- blah.p
- db.p
- db2.p
- deriv.p
- diff.p
- factor.p
- group.p
- haken.p
- loop-ascii.p
- loop.p
- loop2.p
- lukasiewicz.p
- minus.p
- nicomachus.p
- rel.p
- rel2.p
- ring.p
- ring2-cancel.p
- ring2.p
- ring3.p
- ring4.p
- robbins-easy.p
- robbins.p
- sam.p
- semigroup.p
- vbool.p
- veroff.p
- winker-easy.p
- winker.p
- winker2.p
- y-easy.p
- y.p