diff options
| author | hallgren <hallgren@chalmers.se> | 2015-01-19 12:43:32 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-01-19 12:43:32 +0000 |
| commit | 7e1120d27144ea3432aa42862e88fd88df0dceaa (patch) | |
| tree | e52aebccc9443c83533c021f2ac6bfc21a82edad /src/programs | |
| parent | e128139e8caa93c29d193ac215fade4e348cb1b6 (diff) | |
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.
Diffstat (limited to 'src/programs')
0 files changed, 0 insertions, 0 deletions