scala-typelevel-number-theory

A type level encoding of number theory atoms, axioms and rules

Stars

Ecosystems: Scala

Statistics for this project are still being loaded, please check back later.

Code from the book "Types and Programming Languages" in Scala

Scala implementation of a lambda calculus interpreter

Type level lambda calculus in Scala