Package collie - Namespaces

• Collie

  Collie: Command line interface for Idris2 applications
• Collie.Core
• Collie.Error
• Collie.Modifiers
• Collie.Options.Domain
• Collie.Options.Usual
• Collie.Parser
• Collie.Usage
• Data.List.Fresh

  Fresh lists, a variant of Catarina Coquand's contexts in "A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions"
• Data.List.Fresh.Elem
• Data.List.Fresh.Quantifiers
• Data.List.Fresh.Quantifiers.SmartConstructors
• Data.Magma
• Data.Record

  An ordered record is a record whose field names have to appear in a fixed order, but must otherwise be distinct.
• Data.Record.SmartConstructors

  Selectively ported from agdARGS's Data.Recrod.SmartConstructors
• Decidable.Decidable.Extra1