Pinned Repositories
Capabilities
A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
deriving-via
Deriving via
derivingvia-extras
Miscellaneous via types.
idiomatic
Deriving Applicative for sum types.. Idiomatically.
Icelandjack's Repositories
Icelandjack/deriving-via
Deriving via
Icelandjack/Capabilities
A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
Icelandjack/FHE
Icelandjack/popl2018-papers
Link to preprints for POPL'18 and colocated events
Icelandjack/adjunctions
Simple adjunctions
Icelandjack/agda-stdlib
The Agda standard library
Icelandjack/applicative-quoters
Quasiquoters for working with Control.Applicative, taken from haskell-src-meta
Icelandjack/articles
Miscellaneous articles. The readme is the table of contents.
Icelandjack/async
Run IO operations asynchronously and wait for their results
Icelandjack/constraints
Tools for programming with ConstraintKinds in GHC
Icelandjack/distributive
Dual Traversable
Icelandjack/dlist
Difference lists in Haskell
Icelandjack/emacs-1
My clone of GNU Emacs
Icelandjack/EvEff
Efficient Haskell effect handlers based on evidence translation.
Icelandjack/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
Icelandjack/haskell-emacs
Write Emacs extensions in Haskell
Icelandjack/head.hackage
This is not the Git repo you're looking for...
Icelandjack/icfp2016-papers
Link to preprints for ICFP'16 and co-located events
Icelandjack/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
Icelandjack/img
Icelandjack/KeyMonad
Icelandjack/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
Icelandjack/objective
Purely functional objects
Icelandjack/quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
Icelandjack/quickspec
Equational laws for free
Icelandjack/RyanGlScott.github.io
Icelandjack/singletons
Fake dependent types in Haskell using singletons
Icelandjack/slides
Slides from talks that I give
Icelandjack/testing-feat
FEAT
Icelandjack/transformers-base
Haskell library for lifting actions from the bottom of a monad transformer stack