bond15/Lambda-Cube bond15/Lambda-Cube

  • Stars
    star
    2
  • Language
    Haskell
  • Created about 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bond15/Lambda-Cube
github

bond15

Reviews

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

Repository Details

More Repositories

1

Polynomials-Categorically

Polynomial Functors in Agda
Agda
7
star
2

Dialectica

2022 AMS MRC on Applied Category Theory.
Agda
5
star
3

Presentations

Type Theory, Theory of Computation, Quantum Computation, Algebra, ..
5
star
4

Agda-PLFA

Agda
1
star