Giters

sirikid / hamlet

SML reference interpreter

Home Page:https://www.mpi-sws.org/~rossberg/hamlet/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

SML reference interpreter

https://www.mpi-sws.org/~rossberg/hamlet/

Languages

Language:Standard ML 97.6%Language:Makefile 1.0%Language:JavaScript 0.9%Language:Lex 0.5%Language:Batchfile 0.0%Language:Shell 0.0%