diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-06-03 14:32:01 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-06-03 14:32:01 +0200 |
commit | e1609eb67ec130790a34bfcbabe02c279aa08dda (patch) | |
tree | 73f02adc9f8413e34ee10ccb729107d998f3dae3 /src/LambdaCube/Compiler.hs | |
parent | e2bd6c4f6a2a5fb3969692ea7ac6d9ef9a66ee7c (diff) |
support variable name preference in pretty print
Diffstat (limited to 'src/LambdaCube/Compiler.hs')
0 files changed, 0 insertions, 0 deletions