A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer Contributions:8 commits, 4 PRs, 25 comments in 2 days
Contributions summary:Norbert primarily contributed to the core functionality of the Idris programming language, specifically in extending existing features. They added options for displaying library-related information and implemented the `showPkgs` function to list installed packages, modifying the `Main.hs` and `idris.cabal` files. Their work also involved fixing an import issue and adding a flag for CI builds within the Cabal file. The commits demonstrate a focus on improving the command-line interface and build process of the language.
functional-programming-language
Contributions:47 commits, 2 PRs, 10 pushes in 3 months