Chan-style sized types for Idris 2, including a max operator
Primary LanguageIdrisBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause