/Prelude-v15.0.0/

Exported files:

• Monoid:

  ∀(m : Type) → Type
  

• README.md
• package.dhall

Exported packages:

• Bool/
• Double/
• Function/
• Integer/
• JSON/
• List/
• Location/
• Map/
• Natural/
• Optional/
• Text/
• XML/