Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Minimal prelude with PolyKinds.
-
Haxe backend for idris2
-
Validity instances for composite records.
-
Linting utilities to add to your flake checks
-
-
-
-
-
NFT Contract for plutus
-
-
-
FromField/ToField instances for plutus.
-
-
-
-
Extra transformation functions for polysemy.
-
Attempt at a batteries included Shake using well-typed Paths and typeclasses.
-
Write a Cofree [] as a JSON value with "head" and "tail" elements.
-
HKD ReaderT pattern for composite.
-
