https://github.com/bts/lower

Lowering a surface syntax into different intermediate representations
https://github.com/bts/lower

Last synced: 28 days ago
JSON representation

Lowering a surface syntax into different intermediate representations

• Host: GitHub
• URL: https://github.com/bts/lower
• Owner: bts
• License: bsd-3-clause
• Created: 2022-06-18T21:45:14.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2023-04-23T19:50:44.000Z (about 3 years ago)
• Last Synced: 2025-01-11T17:48:12.269Z (over 1 year ago)
• Language: Haskell
• Size: 17.6 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# lower

Lowering a surface syntax into different intermediate representations (just ANF for now).

## Requirements

- nix

- `nix flake` enabled

- direnv

## Getting started

- `direnv allow`

- `hpack && ghcid`

## References

- [A New One-Pass Transformation into Monadic Normal Form (pdf)](https://www.brics.dk/RS/02/52/BRICS-RS-02-52.pdf)