git.iko.soy/type-level-sets
on master help sign in
history ofexample.hs
all commits
850220areadme and examplesdominic fd032fecleanup to set and exampelsdominic 618db42some updates to the solver, trying to work with the plugindominic a86bba9updated set example, fixed overlappingdominic c3543c6factored out some of the finite map support; and created a new finite map moduleDominic 9139d17mergeDominic da03b64change the modularisation for nub; better documentatioNDominic Orchard 0e0cd44added exampleDominic Orchard