aarne ba13052d31 dependency graph can be restricted to some modules; added help dg

2010-04-06 08:53:44 +00:00

..

Command

dependency graph can be restricted to some modules; added help dg

2010-04-06 08:53:44 +00:00

Compile

fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type

2010-03-31 22:05:12 +00:00

Data

remove some more dead code

2009-12-14 13:11:58 +00:00

Grammar

fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type

2010-03-31 22:05:12 +00:00

Infra

dependency graph can be restricted to some modules; added help dg

2010-04-06 08:53:44 +00:00

JavaScript

now the PGF to JavaScript convertor uses PMCFG

2009-12-14 09:53:53 +00:00

Speech

now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.

2010-03-24 11:11:55 +00:00

System

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Text

Urdu transliteration fixed (by Shafqat)

2010-04-01 12:24:04 +00:00

Compile.hs

store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet

2010-03-22 21:15:29 +00:00

Grammar.hs

reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

2009-12-13 18:50:29 +00:00

Quiz.hs

commands mq and tq can take a tree with metas to guide generation

2010-02-01 09:56:58 +00:00