projects / haskell-parameterized-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import haskell-parameterized-utils_2.1.5.0.orig.tar.gz
authorScott Talbert <swt@techie.net>
Thu, 28 Jul 2022 00:20:21 +0000 (20:20 -0400)
committerScott Talbert <swt@techie.net>
Thu, 28 Jul 2022 00:20:21 +0000 (20:20 -0400)
commit196813c43a8263ca6590d7b3f02ec2fb27d760a8
tree12e7715e2ec6951d6b8d64b8074f70d5f987a338tree | snapshot
Import haskell-parameterized-utils_2.1.5.0.orig.tar.gz

[dgit import orig haskell-parameterized-utils_2.1.5.0.orig.tar.gz]
46 files changed:
Changelog.md [new file with mode: 0755] blob
LICENSE [new file with mode: 0644] blob
parameterized-utils.cabal [new file with mode: 0644] blob
src/Data/Parameterized.hs [new file with mode: 0644] blob
src/Data/Parameterized/All.hs [new file with mode: 0644] blob
src/Data/Parameterized/Axiom.hs [new file with mode: 0644] blob
src/Data/Parameterized/BoolRepr.hs [new file with mode: 0644] blob
src/Data/Parameterized/Classes.hs [new file with mode: 0644] blob
src/Data/Parameterized/ClassesC.hs [new file with mode: 0644] blob
src/Data/Parameterized/Compose.hs [new file with mode: 0644] blob
src/Data/Parameterized/Context.hs [new file with mode: 0644] blob
src/Data/Parameterized/Context/Safe.hs [new file with mode: 0644] blob
src/Data/Parameterized/Context/Unsafe.hs [new file with mode: 0644] blob
src/Data/Parameterized/Ctx.hs [new file with mode: 0644] blob
src/Data/Parameterized/Ctx/Proofs.hs [new file with mode: 0644] blob
src/Data/Parameterized/DataKind.hs [new file with mode: 0644] blob
src/Data/Parameterized/DecidableEq.hs [new file with mode: 0644] blob
src/Data/Parameterized/Fin.hs [new file with mode: 0644] blob
src/Data/Parameterized/HashTable.hs [new file with mode: 0644] blob
src/Data/Parameterized/List.hs [new file with mode: 0644] blob
src/Data/Parameterized/Map.hs [new file with mode: 0644] blob
src/Data/Parameterized/NatRepr.hs [new file with mode: 0644] blob
src/Data/Parameterized/NatRepr/Internal.hs [new file with mode: 0644] blob
src/Data/Parameterized/Nonce.hs [new file with mode: 0644] blob
src/Data/Parameterized/Nonce/Transformers.hs [new file with mode: 0644] blob
src/Data/Parameterized/Nonce/Unsafe.hs [new file with mode: 0644] blob
src/Data/Parameterized/Pair.hs [new file with mode: 0644] blob
src/Data/Parameterized/Peano.hs [new file with mode: 0644] blob
src/Data/Parameterized/Some.hs [new file with mode: 0644] blob
src/Data/Parameterized/SymbolRepr.hs [new file with mode: 0644] blob
src/Data/Parameterized/TH/GADT.hs [new file with mode: 0644] blob
src/Data/Parameterized/TraversableF.hs [new file with mode: 0644] blob
src/Data/Parameterized/TraversableFC.hs [new file with mode: 0644] blob
src/Data/Parameterized/TraversableFC/WithIndex.hs [new file with mode: 0644] blob
src/Data/Parameterized/Utils/BinTree.hs [new file with mode: 0644] blob
src/Data/Parameterized/Utils/Endian.hs [new file with mode: 0644] blob
src/Data/Parameterized/Vector.hs [new file with mode: 0644] blob
src/Data/Parameterized/WithRepr.hs [new file with mode: 0644] blob
test/Test/Context.hs [new file with mode: 0644] blob
test/Test/Fin.hs [new file with mode: 0644] blob
test/Test/List.hs [new file with mode: 0644] blob
test/Test/NatRepr.hs [new file with mode: 0644] blob
test/Test/SymbolRepr.hs [new file with mode: 0644] blob
test/Test/TH.hs [new file with mode: 0644] blob
test/Test/Vector.hs [new file with mode: 0644] blob
test/UnitTest.hs [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.