Collie: Command line interface for Idris2 applications
July 14, 2021 ยท View on GitHub
Based on @gallais's agdARGS library and Idris Developers Meeting 2015 slides.
July 14, 2021 ยท View on GitHub
Based on @gallais's agdARGS library and Idris Developers Meeting 2015 slides.