idris2 topic
List
idris2 repositories
idris2-tls
28
Stars
5
Forks
Watchers
A portable idris2 implementation of TLS
geb
27
Stars
9
Forks
Watchers
A Categorical View of Computation
A portable idris2 implementation of TLS
A Categorical View of Computation