Directory listing for twee-2.3.1 source tarball
twee-2.3.1/
- 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-pretty.p
- ROB027-1.p
- ROB033-1.p
- append-rev-ascii.p
- append-rev.p
- blah.p
- db.p
- db2.p
- deriv.p
- diff.p
- factor.p
- gmv.p
- gmv1-ascii.p
- gmv1.p
- gmv10-ascii.p
- gmv10.p
- gmv11-ascii.p
- gmv11.p
- gmv12-ascii.p
- gmv12.p
- gmv13-ascii.p
- gmv13.p
- gmv14-ascii.p
- gmv14.p
- gmv15-ascii.p
- gmv15.p
- gmv2-ascii.p
- gmv2.p
- gmv3-ascii.p
- gmv3.p
- gmv4-ascii.p
- gmv4.p
- gmv5-ascii.p
- gmv5.p
- gmv6-ascii.p
- gmv6.p
- gmv7-ascii.p
- gmv7.p
- gmv8-ascii.p
- gmv8.p
- gmv9-ascii.p
- gmv9.p
- group.p
- group_plain.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-short.p
- veroff.p
- winker-easy.p
- winker.p
- winker2.p
- y-easy.p
- y.p