hallgren 861a3fa805 Compute/ConcreteNew.hs: adding a Prawitz rewrite ...

(table { p_i => t_i } ! x).l ==> table { p_i => t_i.l } ! x

This was used in the old partial evaluator and can significantly reduce term
sizes in some cases.

2014-05-16 21:27:20 +00:00

..

binary/Data

Fix the fix

2014-03-04 14:35:14 +00:00

compiler

Compute/ConcreteNew.hs: adding a Prawitz rewrite

2014-05-16 21:27:20 +00:00

example-based

Eliminate mutual dependencies between the GF compiler and the PGF library

2013-11-05 13:11:10 +00:00

runtime

Haskell binding: free memory pool to avoid space leak when readPGF fails

2014-05-13 14:07:36 +00:00

server

gf -server: include list of loaded PGFs in version info

2014-05-12 13:45:36 +00:00

tools

Created a new page documenting available editor modes for GF

2011-09-20 12:41:32 +00:00

ui

remove dead code to avoid warnings

2014-04-24 19:21:00 +00:00

www

Simple Translator: fall back to word-for-word translation if the parser fails

2014-05-15 13:58:42 +00:00