Giters

matthew-sirman / type-systems-for-compiler-optimisations

A purely functional programming language with support for substructural types.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

type-systems-for-compiler-optimisations

About

A purely functional programming language with support for substructural types.

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Haskell 92.4%Language:Yacc 5.5%Language:Lex 2.1%