Beast code in Giters

effectfully's repositories

Language:HaskellMIT000

Language:HaskellMIT000

The MonadUnliftIO typeclass for unlifting monads to IO

Language:HaskellNOASSERTION000

Language:HaskellBSD-3-Clause100

Observational Type Theory as an Agda library

Language:Agda4900

Language:HaskellBSD-3-Clause300

Language:HaskellBSD-3-Clause100

Главный сайт сообщества

Language:HaskellNOASSERTION000

Language:Agda300

Language:Haskell100

Experiments with effect systems

Language:Agda1200

Language:Agda100

Language:Agda300

A toy supercompiler for STLC with numbers and lists

Language:Agda400

Language:Agda300

A shallow embedding of Luo's ECC into Agda.

Language:Agda400