Giters

emarzion / hm

Definitional interpreter for Hindley-Milner in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqhindley-milnerinterpreter

Docker CI

hm

Definitional interpreter for Hindley-Milner in Coq

About

Definitional interpreter for Hindley-Milner in Coq

coqhindley-milnerinterpreter

Languages

Language:Coq 100.0%