Add PureFunctor/purescript-typelevel-lists (#794)
commitf202b8949ce937278408b79f579938fe946342fc
authorPureFunctor <purefunctor@gmail.com>
dateWed 13 Jan 2021, 17:47 (6 years ago)
parent295ed36
packages.json+7
@@ -4705,6 +4705,13 @@
47054705 "repo": "https://github.com/bodil/purescript-typelevel.git",
47064706 "version": "v6.0.0"
47074707 },
4708+ "typelevel-lists": {
4709+ "dependencies": [
4710+ "typelevel-peano"
4711+ ],
4712+ "repo": "https://github.com/PureFunctor/purescript-typelevel-lists",
4713+ "version": "v0.3.1"
4714+ },
47084715 "typelevel-peano": {
47094716 "dependencies": [
47104717 "arrays",
src/groups/purefunctor.dhallnew file+6
@@ -0,0 +1,6 @@
1+{ typelevel-lists =
2+ { dependencies = [ "typelevel-peano" ]
3+ , repo = "https://github.com/PureFunctor/purescript-typelevel-lists"
4+ , version = "v0.3.1"
5+ }
6+}
src/packages.dhall+1
@@ -64,6 +64,7 @@ let packages =
6464 ⫽ ./groups/paf31.dhall
6565 ⫽ ./groups/paluh.dhall
6666 ⫽ ./groups/passy.dhall
67+ ⫽ ./groups/purefunctor.dhall
6768 ⫽ ./groups/purescript-freedom.dhall
6869 ⫽ ./groups/purescript-hyper.dhall
6970 ⫽ ./groups/purescript-spec.dhall