Namespaces

• [builtins]
• Chapter.State
• Chapter.StateMachines
• Chapter.StateMachines.StackOperations
• Control.Monad.Identity
• Control.Monad.State
• Data.Fin
• Data.Vect
• Decidable.Equality
• Exercises.GettingStarted
• Exercises.Interactive
• Exercises.State
• Exercises.StateMachines
• Exercises.StateMachines.Matter
• FFI
• ForeignEnv
• Language.Reflection
• Language.Reflection.Elab
• Language.Reflection.Errors
• Prelude.Algebra
• Prelude.Applicative
• Prelude.Basics
• Prelude.Bool
• Prelude.Either
• Prelude.Foldable
• Prelude.Functor
• Prelude.Interfaces
• Prelude.List
• Prelude.Maybe
• Prelude.Monad
• Prelude.Nat
• Prelude.Providers
• Prelude.Show
• Prelude.Stream