jonsterling / sml-modernized-algol

Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees

This repository is not active

Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees

Language:Standard ML 85.8%Language:Lex 13.6%Language:Mathematica 0.6%