hylo

A DSL for static types and type classes in Clojure.

Core type inference algorithm is ported from "A literate Haskell implementation of Algorithm W." by Martin Grabmüller (https://github.com/wh5a/Algorithm-W-Step-By-Step)

Usage

FIXME

Distributed under the Eclipse Public License either version 1.0 or (at your option) any later version.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
doc		doc
src/hylo		src/hylo
test/hylo		test/hylo
.gitignore		.gitignore
.travis.yml		.travis.yml
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
project.clj		project.clj