GitHub - emcardoso/CTi: Implementação do sistema da dissertacao

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.redcar		.redcar
bin		bin
src		src
.directory		.directory
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
TaskToDoInTheTypeInferenceAlgorithm		TaskToDoInTheTypeInferenceAlgorithm
core.cabal		core.cabal
core.geany		core.geany

Repository files navigation

This project is a prototype for a type inference algorithm for Haskell supporting
intersection types on function parameters.

Implementação do sistema da dissertacao

No releases published

No packages published