thealmarty/LambdaPi thealmarty/LambdaPi

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
thealmarty/LambdaPi
github

thealmarty

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A dependently typed language core (lambda calculus) written in Haskell.

More Repositories

1

BoxesGoBananas

Implementations of Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism
Haskell
3
star
2

ocaml_algorithms

Algorithms written in OCaml
OCaml
2
star