git.iko.soy/type-level-sets
on master help sign in
e368927Merge pull request #20 from gwils/prevent-old-ghcsDominic Orchard 534c07dPrevent bad build plans on older GHCs by expressing dependence on TypeInTypeGeorge Wilson 3c4d979changelog in the cabal filedominic 47d928echangelog and package updatesdominic 5bf0c0ckeep deleting elements from the setv0.8.9.0dominic 4242bd1Merge pull request #19 from ivanbakel/masterDominic Orchard dfaa1e7Update to compatibility with 8.4 type changesIsaac van Bakel 828198fnon membership testsDominic Orchard c89b0ccMerge pull request #12 from jchia/masterDominic Orchard 437855cGeneralized an instance of UpdatableJoshua Chia 9e6a0c7Simplified Eq instance and added Ord instance for MapJoshua Chia 850dd32membership predicate for sets, and generalise sets to arbitrary kindv0.8.7.0Dominic Orchard 28fe8b8fix subset type classes for setsDominic Orchard bbf1690(see #8) adding a function for removing elements from a list based on type equalitydominic d103f81raise version numberDominic Orchard 4bfe231code tidyupDominic Orchard 2ad8611additional predicate-based functionalityDominic Orchard 3cca261added EQ instancesv0.8.0.0dominic 850220areadme and examplesdominic 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