Cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
1-20 of 73 versions of Cli
Sort by
Date
72ae700v4.25.0-rc2v4.25.0-rc21.5 MB72ae700v4.25.0-rc2v4.25.0-rc21.5 MBf75f492v4.25.0-rc1v4.25.0-rc191c18fav4.24.0v4.24.01.4 MBb62fd39v4.24.0-rc1v4.24.0-rc11.4 MB41c5d0bv4.23.0v4.23.084a913cv4.23.0-rc2+patch1v4.23.0-rc28f35bb8v4.23.0-rc1+patch1v4.23.0-rc1123e054v4.22.0+patch1v4.22.09e52c83v4.22.0-rc4+patch1v4.22.0-rc4d32b831v4.22.0-rc3+patch1v4.22.0-rc3ce60d86v4.22.0-rc2+patch1v4.22.0-rc2da558a8v4.22.0-rc1+patch1v4.22.0-rc1cacb481v4.23.0-rc2v4.23.0-rc21.3 MB7d0e7a0v4.22.0v4.22.06667b92v4.23.0-rc1v4.23.0-rc11.3 MBc682c91v4.22.0-rc4v4.22.0-rc41.3 MBe22ed08v4.22.0-rc3v4.22.0-rc31.3 MBa873322v4.22.0-rc2v4.22.0-rc21.3 MB31714b4v4.22.0-rc1v4.22.0-rc11.3 MB