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.
-
Notifications
You must be signed in to change notification settings - Fork 0
Toy typechecker and interpreter for the Mirage language.
License
asandroq/mirage
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
Toy typechecker and interpreter for the Mirage language.