The Nest
Explore
Sign in
tzemanovic
idris2-dep-graph
src
DepGraph
0
Code
Changes
Tags
Discussions
main
tzemanovic
check cli for totality
on April 16, 2026
Cli.idr
check cli for totality
on April 16, 2026
Data.idr
first version v0.1.0
on April 14, 2026