Backend framework - Githubissues

owo-lang / minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Apache License 2.0

113 stars 3 forks source link

Backend framework #10

Open ice1000 opened 5 years ago

ice1000 commented 5 years ago

This might be:

Some general interface of compiling minitt code into some other PLs
Intermediate representation