This repository contains the code for a typechecker and an interpreter. The source language is called Mirage, and it's at the moment a purely functional programming language, with an ML-style type system.
Toy typechecker and interpreter for the Mirage language.
This repository contains the code for a typechecker and an interpreter. The source language is called Mirage, and it's at the moment a purely functional programming language, with an ML-style type system.
Toy typechecker and interpreter for the Mirage language.
MIT License