| .. |
|
abs.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
add.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
build.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
clamp.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
compare.dhall
|
Port trivial.nix
|
2022-09-08 19:52:47 +01:00 |
|
divide.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
equal.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
fromAny.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
fromDouble.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
fromInteger.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
fromNatural.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
greaterThan.dhall
|
add build of nixpkgs-lib-dhall
|
2022-09-14 15:51:57 +01:00 |
|
greaterThanEqual.dhall
|
add build of nixpkgs-lib-dhall
|
2022-09-14 15:51:57 +01:00 |
|
isZero.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
lessThan.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
lessThanEqual.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
listMax.dhall
|
add build of nixpkgs-lib-dhall
|
2022-09-14 15:51:57 +01:00 |
|
listMin.dhall
|
add build of nixpkgs-lib-dhall
|
2022-09-14 15:51:57 +01:00 |
|
max.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
min.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
multiply.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
negate.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
negative.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
nonNegative.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
nonPositive.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
package.dhall
|
Port trivial.nix
|
2022-09-08 19:52:47 +01:00 |
|
positive.dhall
|
add build of nixpkgs-lib-dhall
|
2022-09-14 15:51:57 +01:00 |
|
product.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
show.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
sort.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
subtract.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
sum.dhall
|
add missing methods from Integer, Double and Number
|
2022-09-01 15:41:13 +01:00 |
|
toDouble.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
toInteger.dhall
|
Add Number/
|
2022-08-31 18:52:26 +01:00 |
|
toNatural.dhall
|
Port trivial.nix
|
2022-09-08 19:52:47 +01:00 |
|
Type.dhall
|
Initial commit
|
2022-08-31 14:19:35 +01:00 |
