Pinned Loading

1. neovim-idris2 neovim-idris2 Public

   A Nix flake to set up an Idris2 editing environment in Neovim: run with "nix run github:alrunner4/neovim-idris2"

   Nix 1

2. idris-hashtable idris-hashtable Public

   Idris 1

3. idris-interlude idris-interlude Public

   things missing from the Idris Prelude

   Idris 1 1

4. oop-is-embarrassing oop-is-embarrassing Public

   Idris 1

5. idris-stt idris-stt Public

   a monad transformer to add mutable variables via managed use of unsafePerformIO

   Idris

6. patchshebangs patchshebangs Public

   a minimalist alternative to the Nixpkgs stdenv patchShebangs function

   C++