| Age | Commit message (Collapse) | Author |
|
|
|
|
|
Ger,Spa,Cat,Bul
|
|
|
|
|
|
removed Diff modules from Phrasebook
|
|
|
|
pronouns ; linking functions that involve mkClause now takes a long time and should be revised
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
as <> instead of {} to distinguish from empty record type
|
|
|
|
|
|
general
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
small modules; added syntactic forms and words
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
grammar. It may not be used accurately in the error messages yet
|
|
laguage
|
|
|