nixlab-dsl

The polysemy theories a NixLab wisp calls (NixLab.Effects), the values they answer with (NixLab.Types), and the scope module a block is elaborated in (NixLab), whose export list is the verb table and whose help banner NixLab.Help draws from one table of the verbs. Milestones come from milestone-dsl, less the verbs that mark a member done. NixLab.Model is the pure state of approvals and to-dos, with mergeAllowed, the rule a merge waits on, and NixLab.Pure folds the Approvals and Todos theories over it. NixLab.Runner.Config is the theory a runner's configuration, runner.vx, is written in: its verbs, the values they take, the pure fold and the laws the declarations keep, and nixlab-dsl:gen holds its Hedgehog generators. Nothing here lifts IO: a shell folds programs over the forge's store and git. The values cross the wire as show-rendered Haskell.