Popular repositories Loading

1. effect-handlers effect-handlersPublic

   Haskell 83 9

2. dependent-haskell dependent-haskellPublic

   Haskell 36 2

3. agda-arrays agda-arraysPublic

   Agda 1

4. SN SNPublic

   Agda 1

5. effects-bibliography effects-bibliographyPublic

   Forked from yallop/effects-bibliography

   Work related to algebraic effects and handlers

   1

6. TyDe2016.github.io TyDe2016.github.ioPublic

   Forked from TyDe2016/TyDe2016.github.io

   Tyde 2016 homepage

   HTML