hallgren 7e1120d271 Translating linearization functions to Haskell: move a common record type to PGF.Haskell ...

Move the Haskell representation of the common linearization type {s:T} to the
shared module PGF.Haskell, so that the same overloaded projection function
proj_s can be used for all concrete syntaxes.

2015-01-19 12:43:32 +00:00

..

PGF

Translating linearization functions to Haskell: move a common record type to PGF.Haskell

2015-01-19 12:43:32 +00:00

PGF.hs

a partial support for def rules in the C runtime

2014-08-11 10:59:10 +00:00