effectfully

icon indicating an email [email protected]

Results 6 repositories owned by effectfully

Cubes

22
Stars
1
Forks
Watchers

A dependently typed type checker for a TT with intervals

verified publisher icon effectfully

Generic

31
Stars
4
Forks
Watchers

A library for doing generic programming in Agda

verified publisher icon effectfully

inference-in-agda

41
Stars
0
Forks
Watchers

A tutorial on how Agda infers things

verified publisher icon effectfully

OTT

52
Stars
2
Forks
Watchers

Observational Type Theory as an Agda library

verified publisher icon effectfully

prefolds

19
Stars
2
Forks
Watchers

Composable monadic short-circuiting streaming folds

verified publisher icon effectfully

STLC

25
Stars
1
Forks
Watchers

Dependently typed Algorithm M and friends

verified publisher icon effectfully