CS Prof
-
National University of Singapore
- Singapore
- http://ilyasergey.net
- https://orcid.org/0000-0003-4250-5392
- @ilyasergey
Highlights
- Pro
Stars
6
stars
written in Haskell
Clear filter
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
Examples of Dependently-typed programs in Haskell
Generic implementation of different CFA families based on monadic decomposition
Extension of Glasgow Haskell Compiler to support recursive applicative bindings
Tests for ApplicativeFix GHC extension
Augmented base library for GHC for ApplicativeFix support