Directory listing for twee-2.4.2 source tarball
twee-2.4.2/
- LICENSE
- README.md
- Setup.hs
- twee.cabal
- executable/
- misc/
- tests/
- BOO067-1.p
- GRP196-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
- RNG025-buggy.p
- RNG035-7.p
- ROB010-1.p
- ROB027-1-pretty.p
- ROB027-1.p
- ROB033-1.p
- append-rev.p
- cm.p
- deriv.p
- diff.p
- factor.p
- gmv.p
- group.p
- haken.p
- loop.p
- loop2.p
- lukasiewicz.p
- minus.p
- nicomachus.p
- rel.p
- rel2.p
- rellat_appendixa.p
- rellat_appendixb.p
- rellat_appendixb_easier.p
- rellat_appendixc.p
- rellat_theorem34_6.p
- rellat_theorem34_6a.p
- rellat_theorem34_6b.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-encoded.p
- y.p