Kamirus/lambda-formalizations Kamirus/lambda-formalizations

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Coq
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kamirus/lambda-formalizations
github

Kamirus

Reviews

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

Repository Details

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

More Repositories

1

purescript-selda

A type-safe, high-level SQL library for PureScript
PureScript
87
star
2

typechecker

Ongoing implementation of the "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
Haskell
6
star
3

ray-tracer

Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.
OCaml
4
star
4

purescript-functional-concepts

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
PureScript
3
star
5

coq-course

Coq course materials with my solutions
Coq
1
star
6

purescript-annoy

PureScript
1
star