From 719485f194f7c2d32c7725a1f32aa55fd659a86f Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Mon, 10 Apr 2023 23:46:49 -0400
Subject: [PATCH] ENH remove math (for now)

---
 dhall/common.dhall | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/dhall/common.dhall b/dhall/common.dhall
index 99aa669..0a0ef72 100644
--- a/dhall/common.dhall
+++ b/dhall/common.dhall
@@ -4,9 +4,18 @@ let List/map =
 
 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 =
       \(a : T.SplitAcnt) ->
@@ -175,5 +184,3 @@ in      { nullSplit
         , PartSplit
         }
     /\  T
-    /\  D
-    /\  M