fixxxedpoint / hou Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
app		app
src/Hou		src/Hou
test		test
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

hou

An experimental playground for methods based on the higher-order unification for type inference and type checking of systems defined by the lambda cube concept.

Getting Started

Prerequisites

Tools required to build this project:

stack http://haskellstack.org

Build Instructions

stack build

Executing Tests

stack test

Main Executable

stack exec hou-exe

About

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

lambda-calculus polymorphic-types type-inference funcional-programming systemf

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%