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.
License
asandroq/mirage
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Toy typechecker and interpreter for the Mirage language.