projects / haskell-parameterized-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import haskell-parameterized-utils_2.1.7.0.orig.tar.gz
authorIlias Tsitsimpis <iliastsi@debian.org>
Fri, 6 Oct 2023 18:12:28 +0000 (21:12 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Fri, 6 Oct 2023 18:12:28 +0000 (21:12 +0300)
commitb35696741c58d6aeed20111d89468dcc8327fbfb
tree6bddf58687d08d073276068f1539e9c7a6bfdcddtree | snapshot
Import haskell-parameterized-utils_2.1.7.0.orig.tar.gz

[dgit import orig haskell-parameterized-utils_2.1.7.0.orig.tar.gz]
51 files changed:
Changelog.md [new file with mode: 0644] 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/FinMap.hs [new file with mode: 0644] blob
src/Data/Parameterized/FinMap/Safe.hs [new file with mode: 0644] blob
src/Data/Parameterized/FinMap/Unsafe.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/FinMap.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/Some.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.