git.iko.soy/rowtype-yoga/package-sets
on master help sign in
Add purescript-typelevel-peano (#588)
6183ef8M. Walker Wells
packages.json+13
compare with master
unifiedsplit
@@ -3619,6 +3619,19 @@
3619 "repo": "https://github.com/bodil/purescript-typelevel.git",
3619 "repo": "https://github.com/bodil/purescript-typelevel.git",
3620 "version": "v6.0.0"
3620 "version": "v6.0.0"
3621 },
3621 },
3622+ "typelevel-peano": {
3623+ "dependencies": [
3624+ "arrays",
3625+ "console",
3626+ "effect",
3627+ "prelude",
3628+ "psci-support",
3629+ "typelevel-prelude",
3630+ "unsafe-coerce"
3631+ ],
3632+ "repo": "https://github.com/csicar/purescript-typelevel-peano.git",
3633+ "version": "v0.1.8"
3634+ },
3622 "typelevel-prelude": {
3635 "typelevel-prelude": {
3623 "dependencies": [
3636 "dependencies": [
3624 "prelude",
3637 "prelude",
src/groups/csicar.dhall+13
@@ -19,4 +19,17 @@
19 , repo = "https://github.com/csicar/purescript-vectorfield.git"
19 , repo = "https://github.com/csicar/purescript-vectorfield.git"
20 , version = "v1.0.1"
20 , version = "v1.0.1"
21 }
21 }
22+, typelevel-peano =
23+ { dependencies =
24+ [ "unsafe-coerce"
25+ , "arrays"
26+ , "console"
27+ , "effect"
28+ , "typelevel-prelude"
29+ , "prelude"
30+ , "psci-support"
31+ ]
32+ , repo = "https://github.com/csicar/purescript-typelevel-peano.git"
33+ , version = "v0.1.8"
34+ }
22}
35}