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