Give a description of the bug. For instance:
I get the error message
Regexps.agda:6,1-19 src/full/TypeChecking/Conversion.hs:204: the impossible happened
when type checking the attached file.
Files
Page last modified on May 27, 2007, at 10:16 am
Powered by
PmWiki