Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Attempt at a shake-based static site prelude.
-
-
-
-
Extensible records and corecords in Idris
-
-
-
-
Extra functions for using vinyl records in polysemy.
-
Video processing effect for polysemy.
-
Evil side effects in polysemy.
-
Socket effect for polysemy.
-
runSeveral interpreter for polysemy
-
Polysemy versions of Path functions.
-
Polysemy versions of Path functions.
-
Functions for using polysemy-methodology in conjunction with composite.
-
Logging for polysemy-methodology.
-
Domain modelling semantics for polysemy.
-
Run a KVStore as a JSON file in polysemy.
-
KVStore effect for polysemy.