Hanoi - 0.1.0

Stdlib.Data.Field.Base

Definitions

builtin field axiom Field : TypeSource#

builtin field-add axiom + : Field -> Field -> FieldSource#

builtin field-sub axiom - : Field -> Field -> FieldSource#

builtin field-mul axiom * : Field -> Field -> FieldSource#

builtin field-div axiom / : Field -> Field -> FieldSource#

builtin field-eq axiom == : Field -> Field -> BoolSource#

builtin field-from-int axiom fromInt : Int -> FieldSource#

builtin field-to-nat axiom toNat : Field -> NatSource#