Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Domain modelling semantics for polysemy.
-
Polysemy versions of Path functions.
-
Converts a flake in to gitlab ci jobs
-
-
Minimal prelude with PolyKinds.
-
Domain modelling toolkit for problem solvers.
-
runSeveral interpreter for polysemy
-
KVStore effect for polysemy.
-
Extra transformation functions for polysemy.
-
-
-
-
ToDhall and FromDhall instances for composite records.
-
Tuple functions for composite records.
-
SRT subtitle data format.
-
A simple timestamp type.
-
-
-
Haxe AST in Idris
-
