clone of https://github.com/kolmodin/binary-bits.git
A formal specification and executable model of the ledger rules introduced by the Shelley release
Configuration and documentation for GHC's continuous integration infrastructure.
A nix expression for cross-compiling cabal-install.
fork from stackbuilders/datetime
A GitLab bot which helps us with a variety of maintenance tasks.
Remote debugging for GHC