git.iko.soy/type-level-sets
on fd032fe help sign in
fd032fecleanup to set and exampelsdominic 1aaca95fixed nubable overlappingdominic 2d24897refining and extending the type-level maps separate moduledominic 3941daespecialised example of set difference + showing functionsdominic 7556e5bset exampledominic 7a1030aMerge branch 'master' of github.com:dorchard/type-level-setsdominic 618db42some updates to the solver, trying to work with the plugindominic 4cb174cMerge pull request #2 from notogawa/fix_subsetDominic Orchard a86bba9updated set example, fixed overlappingdominic c3543c6factored out some of the finite map support; and created a new finite map moduleDominic 9139d17mergeDominic 06a5684Merge pull request #3 from k-bx/delete-operationDominic Orchard 62c25fdAdd Delete operation to delete element from SetKostiantyn Rybnikov 9fbdaa3improved the equality prothe equality procedure and shortened its testsDominic 98b90b3equality testing proecedure for set terms involving varialbes+ quick check unit tests on the sonudness of thisDominic 0f3dbf3Merge branch 'master' of github.com:dorchard/type-level-setsDominic b4275b7commentsDominic 8430c23Update TySet.hsDominic Orchard 005732estarted on type-checker pluginDominic 7f2fb43missing Subset instance '["x" :-> Bar] should be a subset of '["w" :-> Foo, "x" :-> Bar].notogawa 6bc6383better cabal version for baseDominic dcb61d9slight doc tweaksDominic Orchard dab85cedocumentation tweaks + cabal file addedDominic Orchard 021041fdocumentation tweaks + cabal file addedDominic Orchard 376597cbetter documentationDominic Orchard da03b64change the modularisation for nub; better documentatioNDominic Orchard 0466aa7documentationDominic Orchard 0e0cd44added exampleDominic Orchard 8a8bca6readme plus differen show instancesDominic Orchard e918f27split off the set representation from the effect monad library (ixmonad)Dominic Orchard