collie icon indicating copy to clipboard operation
collie copied to clipboard

Published 20 hours ago • verified publisher icon ohad
→

Metadata

Command line interface library in Idris

Collie: Command line interface for Idris2 applications

Based on @gallais's agdARGS library and Idris Developers Meeting 2015 slides.

← Metadata

28
Stars
2
Forks
Watchers

Owner

verified publisher icon ohad

Metadata

Command line interface library in Idris

Back