Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Observational Type Theory as an Agda library
Experiments with effect systems
A toy supercompiler for STLC with numbers and lists
A shallow embedding of Luo's ECC into Agda.
Some basic category theory
Главный сайт сообщества
The MonadUnliftIO typeclass for unlifting monads to IO