bts / lower Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Lowering a surface syntax into different intermediate representations

BSD-3-Clause license

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
src/Lower		src/Lower
.envrc		.envrc
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
lower.cabal		lower.cabal
package.yaml		package.yaml

Repository files navigation

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)

About

Lowering a surface syntax into different intermediate representations

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages