diff options
| author | aarne <aarne@chalmers.se> | 2013-11-05 17:28:47 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2013-11-05 17:28:47 +0000 |
| commit | aba666c5bc7a46cdc7de7e2a36869456c34909bd (patch) | |
| tree | a5b8f7a8f8ba8a7778d4bf72c388fb0a5b8853ad /src/compiler/SimpleEditor/Convert.hs | |
| parent | 3814841d7d3b77b3f033cb98c1c0a04ac39435d7 (diff) | |
linearization by chunks in the GF shell: a new command 'lc' needed because 'l' requires type checking and trees with metavariable function heads don't type check. This will hopefully be a temporary command.
Diffstat (limited to 'src/compiler/SimpleEditor/Convert.hs')
0 files changed, 0 insertions, 0 deletions