All Git Users → effectfully

3 open source projects by effectfully

[ Open user page on Github ]

Observational Type Theory as an Agda library

✭ 43

A library for doing generic programming in Agda

✭ 27

Composable monadic short-circuiting streaming folds

✭ 19

1-3 of 3 user projects