This repo contains an implementation of a programming language based on the one-sided sequent calculus. More information on this language can be found in the documentation directory.
A webdemo can be found here.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repo contains an implementation of a programming language based on the one-sided sequent calculus. More information on this language can be found in the documentation directory.
A webdemo can be found here.