Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Tool to count lines of source code.
Recursion schemes for Idris
Madlang is a language for generative literature
Provides a type-safe way of working with permutations in Idris
Build tool for ATS.
Home of the fast-arithmetic library for number theory in ATS and Haskell.
2,641 contributions in the last year
This fixes the bug in the typechecker. Among other things, this means that we will no longer need
Quote while substituting
Steps to reproduce:
rm -rf "$HOME"/.cabal
cabal new-install tomlcheck
This fails with the following error:
cabal: ghc-pkg dump failed: dieVerbatim…
Press h to open a hovercard with more details.