Loreon
Labs
Platform
Docs
Home
Ecosystems
Idris
deptycheck
Facilities for generating dependently-typed data
Idris
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
3mo ago
Recent commits
Latest commits.
[ test, util ] Add older and better utility for producing `print` tests
721cc13
Denis Buzdalov
8mo ago
[ derive ] Put `NamesInfoInTypes` and `ConsRecs` in the current context
be9e851
Denis Buzdalov
6mo ago
[ derive ] Update `NamesInfoInTypes` and `ConsRecs` on new `TypeInfo`
5373c2d
Denis Buzdalov
6mo ago
[ ci ] Try to cache the pack cache between the runs
a1a6b57
Denis Buzdalov
6mo ago
[ ci ] Add a random sleeping before running tests
dce31c8
Denis Buzdalov
6mo ago
[ derive ] Add logging for `NamesInfoInTypes` and `ConRecs` updates
638d8a0
Denis Buzdalov
6mo ago
[ refactor ] Introduce lighter logging, better updating & order
569fdb9
Denis Buzdalov
6mo ago
[ derive ] Merge names&rec info in the state and move left in the tuple
14d121b
Denis Buzdalov
6mo ago
Top contributors
Builders behind this project.
buzden
1.4K commits
spcfox
18 commits
UARTman
10 commits
AlgebraicWolf
9 commits
DanMax03
3 commits
GlebChili
1 commits
L3odr0id
1 commits
lavrentievms
1 commits