JonasHoefer/scoped-effects-agda JonasHoefer/scoped-effects-agda

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    TeX
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JonasHoefer/scoped-effects-agda
github

JonasHoefer

Reviews

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

Repository Details

An implementation of scoped algebraic effects and handlers in Agda.

More Repositories

1

poset-type-theory

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
Haskell
7
star
2

hackathon

C++
4
star
3

agda-strong-normalization

A proof of strong normalization for the simply typed lambda calculus in Agda (without the K axiom).
Agda
2
star
4

compile_time_differentiation

A small C++ library for differentiating expressions at compile time.
C++
2
star
5

brainfuck-compiler

Haskell
1
star
6

minisec

A small parser combinator library.
Haskell
1
star