Namespaces

• [builtins]
• Data.Fin
• Data.Vect
• Decidable.Equality
• Docs
• FFI
• FFI_C
• ForeignEnv
• Language.Reflection
• Language.Reflection.Elab
• Language.Reflection.Errors
• Prelude.Algebra
• Prelude.Applicative
• Prelude.Basics
• Prelude.Bool
• Prelude.Either
• Prelude.File
• Prelude.Foldable
• Prelude.Functor
• Prelude.Interfaces
• Prelude.List
• Prelude.Maybe
• Prelude.Nat
• Prelude.Show
• Prelude.Stream
• Prelude.Traversable