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.
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.