Giters

demarkok / Inhabitation

The implementation of the inhabitation algorithm for rank two intersection types

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Inhabitation

The implementation of the inhabitation algorithm for rank two intersection types. See notes.pdf

About

The implementation of the inhabitation algorithm for rank two intersection types

Languages

Language:TeX 92.4%Language:Haskell 7.6%