Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
inhab.hs		inhab.hs
inhabE.hs		inhabE.hs
inhabEBunder.hs		inhabEBunder.hs
inhabEmpty.hs		inhabEmpty.hs

Repository files navigation

Inhabitation problem for types-intersection

About

Implementation of the algorithm proposed in M.W. Bunder's paper "The Inhabitation Problem for Intersection Types".

haskell types intersection-types

Report repository

Releases

No releases published

Packages

Contributors

Languages

Haskell 100.0%