Open SuzanneSoy opened 7 years ago
[ ] Optional traditional numbers (num/generic => +)
num/generic
+
[ ] Optional non-coercing number tower (num/{fl,fx,i32,i64,f32,f64,nat,int,rational,real})
num/{fl,fx,i32,i64,f32,f64,nat,int,rational,real}
maybe
num/*/maybe
num/*/exn
X
num/*/modulo
num/*/carry
[ ] Optional traditional numbers (
num/generic=>+)[ ] Optional non-coercing number tower (
num/{fl,fx,i32,i64,f32,f64,nat,int,rational,real})maybeimpl (num/*/maybe)num/*/exn)Ximpl (num/*/modulo)X& carry impl (num/*/carry)