Currently contains a purely functional implementation of Algorithm W for Hindley-Milner (lambda calculus + polymorphic let) type inference in Clojure.
This is free and unencumbered software released into the public domain.
-
Notifications
You must be signed in to change notification settings - Fork 0
Type System Modeling in Clojure
License
moea/types
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Type System Modeling in Clojure
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published