summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--AERN-RnToRm.cabal4245logplain
-rw-r--r--ChangeLog208logplain
-rw-r--r--LICENCE1495logplain
-rw-r--r--Setup.lhs76logplain
d---------src31logplain
d---------tests35logplain