Pinned Repositories
haskell-challenges
Code challenges to solve with Haskell
sketches
A Haskell blog
Cubes
A dependently typed type checker for a TT with intervals
Eff
Experiments with effect systems
Generic
A library for doing generic programming in Agda
inference-in-agda
A tutorial on how Agda infers things
OTT
Observational Type Theory as an Agda library
prefolds
Composable monadic short-circuiting streaming folds
random-stuff
STLC
Dependently typed Algorithm M and friends
effectfully's Repositories
effectfully/OTT
Observational Type Theory as an Agda library
effectfully/Eff
Experiments with effect systems
effectfully/Beauty-and-the-Beast
A toy supercompiler for STLC with numbers and lists
effectfully/ECC
A shallow embedding of Luo's ECC into Agda.
effectfully/Big-Step-Normalization
effectfully/blog
effectfully/Categories
Some basic category theory
effectfully/hoppy-cpp
effectfully/Ouroboros
effectfully/DataData
effectfully/haskell-ffi-example
effectfully/Stub
effectfully/yandex-direct
effectfully/potoki-cereal
effectfully/potoki-core
effectfully/ruhaskell
Главный сайт сообщества
effectfully/unliftio
The MonadUnliftIO typeclass for unlifting monads to IO