lemastero/agda-hott lemastero/agda-hott

  • Stars
    star
    3
  • Rank 3,846,031 (Top 78 %)
  • Language Agda
  • License
    MIT License
  • Created 12 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/agda-hott
github

lemastero

Reviews

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

Repository Details

Notes on Homotopy Type Theory in Agda

More Repositories

1

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.
Scala
367
star
2

applied-category-theory-reading-club

Scala
7
star
3

concurrency_parallelism_effects

concurrency parallelism effects wiki
7
star
4

Triglav

Profunctor optics in Scala, arrows, modular approach to abstractions in category theory
Scala
5
star
5

contravariant_profunctor_exercises

Scala
3
star
6

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory
Idris
3
star
7

clojure-string-calculator-kata

Clojure
1
star
8

purescript-supermonad

PureScript SuperMonads and SuperApplicatives
PureScript
1
star
9

compile-solve-zoo

Clojure
1
star
10

scala-types-madness

Scala
1
star
11

ten_pin_bowling

Robert Martin, Clean Code video, implement bowling game score, in Scala, using TDD approach
Scala
1
star
12

agda-verified-fp-algos

Agda
1
star
13

trifunctors_presentation

Scala
1
star
14

trifunctors

Haskell
1
star