Namespaces

• [builtins]
• Builtins
• FFI
• ForeignEnv
• Language.Reflection
• Language.Reflection.Elab
• Prelude.Algebra
• Prelude.Basics
• Prelude.Bool
• Prelude.Classes
• Prelude.Foldable
• Prelude.Functor
• Prelude.List
• Prelude.Maybe
• Prelude.Nat
• Prelude.Pairs.Sigma
• Prelude.Show
• Prelude.Stream
• Quantities.Core
• Quantities.FreeAbelianGroup
• Quantities.ImperialUnits
• Quantities.Power
• Quantities.SIBaseQuantities
• Quantities.SIBaseUnits
• Quantities.SIDerivedQuantities
• Quantities.SIPrefixes
• Quantities.Screen