check cli for totality
Created by tzemanovic on Apr 16, 2026, 12:05 PM
State:
ZTQSLIE6FI5BBFDMPMLAKWQLBNL7YBWKN2TQZ4IPV33SXG6ORTFAC- src/DepGraph/Cli.idr
fix brief to be in the main ipkg
Created by tzemanovic on Apr 16, 2026, 10:48 AM
State:
MCLM6FUWX2QD2NQR5IIA4HORF53354HHRPYMAVMOONZ2VPXP5KMAC- test/test.ipkg
- idris2-dep-graph.ipkg
add license file
Created by tzemanovic on Apr 16, 2026, 10:35 AM
State:
KVA4JZXXIAE5F7FDJGMGC5KRJDCUSSQ2JCE6L3IWQRQVYJF66ACAC- LICENSE
add license and brief
Created by tzemanovic on Apr 14, 2026, 5:59 PM
State:
AU6ZDOZWJAWJW6EBQURKOZCMI6G4Y2A5WFZ6R3SF77WUUMVU33YQC- test/test.ipkg
first version v0.1.0
Created by tzemanovic on Apr 14, 2026, 5:41 PM
State:
ZQKS3G73NIZEHHBWKZS7T3LC3SMNAEXRWUB2JKMAZKMF762V2XQAC- test
- test/test.ipkg
- test/src
- test/src/Main.idr
- src
- src/Main.idr
- src/Idris
- src/Idris/Package
14 more files
- src/Idris/Package/Extra.idr
- src/Idris/Driver
- src/Idris/Driver/Extra.idr
- src/DepGraph
- src/DepGraph/Data.idr
- src/DepGraph/Cli.idr
- pack.toml
- idris2-dep-graph.ipkg
- assets
- assets/pkg.svg
- assets/mod.svg
- README.md
- .ignore
- .gitignore
add .ignore
Created by tzemanovic on Apr 3, 2026, 4:00 PM
State:
EW255642O3ZYGQTMRTS7AT3KCN3IZMWQGYAHUFT73G6LCPFGDXTAC- .ignore
State:
HE3I4TKHZLYGF2EXQXUOJV4UE5KMUEAHHHHSCNQ6YZ2GBD64WS6AC