ENH remove math (for now)
This commit is contained in:
parent
ab70012642
commit
719485f194
|
@ -4,9 +4,18 @@ let List/map =
|
||||||
|
|
||||||
let T = ./Types.dhall
|
let T = ./Types.dhall
|
||||||
|
|
||||||
let D = ./Decimal.dhall
|
let dec =
|
||||||
|
\(s : Bool) ->
|
||||||
|
\(w : Natural) ->
|
||||||
|
\(d : Natural) ->
|
||||||
|
\(p : Natural) ->
|
||||||
|
{ whole = w, decimal = d, precision = p, sign = s } : T.Decimal
|
||||||
|
|
||||||
let M = ./math.dhall
|
let dec2 = \(s : Bool) -> \(w : Natural) -> \(d : Natural) -> dec s w d 2
|
||||||
|
|
||||||
|
let d = dec2 True
|
||||||
|
|
||||||
|
let d_ = dec2 False
|
||||||
|
|
||||||
let nullSplit =
|
let nullSplit =
|
||||||
\(a : T.SplitAcnt) ->
|
\(a : T.SplitAcnt) ->
|
||||||
|
@ -175,5 +184,3 @@ in { nullSplit
|
||||||
, PartSplit
|
, PartSplit
|
||||||
}
|
}
|
||||||
/\ T
|
/\ T
|
||||||
/\ D
|
|
||||||
/\ M
|
|
||||||
|
|
Loading…
Reference in New Issue