lemastero/purescript-supermonad lemastero/purescript-supermonad

  • Stars
    star
    1
  • Language PureScript
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lemastero/purescript-supermonad
github

lemastero

Reviews

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

Repository Details

PureScript SuperMonads and SuperApplicatives

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

agda-hott

Notes on Homotopy Type Theory in Agda
Agda
3
star
6

contravariant_profunctor_exercises

Scala
3
star
7

Idris-Applied-Category-Theory

Implementation of concepts from Applied Category Theory
Idris
3
star
8

clojure-string-calculator-kata

Clojure
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