Modules

Juvix
• Builtin

  • V1

    • Juvix.Builtin.V1.Fixity
    • Juvix.Builtin.V1.List
    • Juvix.Builtin.V1.Nat

      • Juvix.Builtin.V1.Nat.Base
    • Trait

      • Juvix.Builtin.V1.Trait.Natural
      • Juvix.Builtin.V1.Trait.FromNatural
    • Juvix.Builtin.V1.String
    • Juvix.Builtin.V1.Maybe
    • Juvix.Builtin.V1.Bool
Stdlib
• Data

  • Stdlib.Data.Unit

    • Stdlib.Data.Unit.Base
  • Stdlib.Data.Range
  • Stdlib.Data.Fixity
  • Stdlib.Data.List

    • Stdlib.Data.List.Base
  • Stdlib.Data.Nat

    • Stdlib.Data.Nat.Base
    • Stdlib.Data.Nat.Ord
  • Stdlib.Data.String

    • Stdlib.Data.String.Base
    • Stdlib.Data.String.Ord
  • Stdlib.Data.Maybe

    • Stdlib.Data.Maybe.Base
  • Stdlib.Data.Bool

    • Stdlib.Data.Bool.Base
  • Stdlib.Data.Pair

    • Stdlib.Data.Pair.Base
  • Stdlib.Data.Field

    • Stdlib.Data.Field.Base
  • Stdlib.Data.Result

    • Stdlib.Data.Result.Base
  • Stdlib.Data.Int

    • Stdlib.Data.Int.Base
    • Stdlib.Data.Int.Ord
  • Stdlib.Data.Byte

    • Stdlib.Data.Byte.Base
• Stdlib.Trait

  • Stdlib.Trait.Eq
  • Stdlib.Trait.Numeric
  • Stdlib.Trait.Partial
  • Stdlib.Trait.DivMod
  • Stdlib.Trait.Integral
  • Stdlib.Trait.Natural
  • Stdlib.Trait.Show
  • Stdlib.Trait.Applicative
  • Stdlib.Trait.Foldable

    • Stdlib.Trait.Foldable.Polymorphic
    • Stdlib.Trait.Foldable.Monomorphic
  • Stdlib.Trait.FromNatural
  • Stdlib.Trait.Functor

    • Stdlib.Trait.Functor.Polymorphic
    • Stdlib.Trait.Functor.Monomorphic
  • Stdlib.Trait.Ord
  • Stdlib.Trait.Monad
• Debug

  • Stdlib.Debug.Fail
• Stdlib.Prelude
• System

  • Stdlib.System.IO

    • Stdlib.System.IO.Nat
    • Stdlib.System.IO.String
    • Stdlib.System.IO.Bool
    • Stdlib.System.IO.Int
    • Stdlib.System.IO.Base
• Stdlib.Function
Hanoi