Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Dhall based flashcard generation app for anki.
-
-
-
A type representing a value within another path.
-
Zipper utils that weren't in Control.Comonad.Store.Zipper.
-
A decoder for deserializing pandoc directly from a dhall text field.
-
The website https://homotopic.tech
-
Simple haskell.nix application for smoke testing.
-
-
-
-
-
Haxe backend for idris2
-
Validity instances for composite records.
-
Linting utilities to add to your flake checks
-
-
-
-
Minimal prelude with PolyKinds.