jbracker/polymonad-proofs jbracker/polymonad-proofs

  • Stars
    star
    8
  • Rank 2,092,353 (Top 42 %)
  • Language Agda
  • Created over 9 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jbracker/polymonad-proofs
github

jbracker

Reviews

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

Repository Details

Agda proofs about polymonads

More Repositories

1

supermonad

A plugin for GHC to support super monads.
Haskell
24
star
2

diagrams-sunroof

A Diagrams backend using Sunroof to render using the HTML5 Canvas element.
Haskell
3
star