/type-inference

Small type inference implementation using Scala

Primary LanguageScala