SN

sndtkrh/arrow-effect-handler

A formalisation of arrow calculus with operations and effect handlers

A formalisation of arrow calculus with operations and effect handlers.

The proof works with Agda 2.6.4.

On this page

Languages

Agda100.0%

Contributors

MIT License

Created August 7, 2023

Updated August 7, 2023

sndtkrh/arrow-effect-handler | GitHunt