typeable/refined-containers
1
0
Fork 0
mirror of https://github.com/typeable/refined-containers.git synced 2024-11-25 08:52:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
Type-checked proof that a key exists in a container and can be safely indexed.
11 Commits 1 Branch 2 Tags 132 KiB
Haskell 100%
main
Go to file
mniip 405a23a175 Update CI actions
2024-11-18 05:13:40 +01:00
.github/workflows Update CI actions 2024-11-18 05:13:40 +01:00
src/Data Fix haddock link 2024-11-18 03:44:51 +01:00
LICENSE Initial commit 2023-12-20 17:10:58 +01:00
refined-containers.cabal Version 0.1.0.2 2024-11-18 03:44:51 +01:00