Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Type Inference for Haskell
Haskell C
Branch: new-terminatio…
Pull request Compare This branch is even with rodrigogribeiro:new-termination-criteria.

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
.dist-buildwrapper
.dist-scion
.settings
src
.hsproject
.project
README
Setup.hs
mptc.cabal

README

1 - Description

Type Inference for Haskell with support to multiparameter type classes 
without functional dependencies or type families.

2 - Code structure

/src/BuiltIn : contains modules for built-in definitions of types and classes.
/src/Iface: contains modules that does the building of a initial type environment before the
            type checking / inference of a given module.
/src/Libs: This folder contains several Haskell libraries that have been checked with this
           front-end.             
/src/Tc: contains the type inference algorithm
/src/Tc/Kc: contains the kind inference algorithm
/src/Tests: Unit tests for the implementation. To run all tests, just execute the main function in module
            RunAllTests
/src/Utils: Some utilities.
   
Something went wrong with that request. Please try again.