Commit graph

29 commits

Author SHA1 Message Date
3ec0078e74
don’t overload self 2022-09-14 19:35:53 +01:00
86cdc9db71
fix overlay hopefully 2022-09-14 18:57:03 +01:00
feb637855c
change the way import-dhall works 2022-09-14 18:50:13 +01:00
067764c4a5
improve overlay 2022-09-14 16:44:16 +01:00
4a0a1cbbb0
add build of nixpkgs-lib-dhall 2022-09-14 15:51:57 +01:00
5b87d8db80
bump version of dhall-haskell 2022-09-14 15:02:35 +01:00
dd37dc4e05
expose dhall-nixpkgs 2022-09-13 10:32:24 +01:00
bc74bc8af5
allow ignoring additional arguments 2022-09-12 15:13:19 +01:00
e97af52bd4
remove imports 2022-09-09 09:09:44 +01:00
850b53a4a1
Port fixed-point.nix 2022-09-09 08:23:27 +01:00
f3b636b485
Port trivial.nix 2022-09-08 19:52:47 +01:00
c5e01bdce3
freeze deps 2022-09-07 18:10:22 +01:00
cdf878533b
switch to fixed dhall 2022-09-07 17:01:16 +01:00
b110661903
Switch to a fixed dhall-nix 2022-09-07 14:43:21 +01:00
35de362707
import xml 2022-09-02 10:07:22 +01:00
f04b341fdf
add json 2022-09-02 10:03:27 +01:00
990cc12183
Import Text 2022-09-02 09:19:14 +01:00
ff0991ea10
add Optional/ 2022-09-02 09:10:20 +01:00
8fc7b60c0e
Import NonEmpty/ 2022-09-01 20:25:02 +01:00
182738f0fb
Import Map/ 2022-09-01 19:55:52 +01:00
c74b46c3e8
Add List/ 2022-09-01 19:37:49 +01:00
cb33a0d06f
add missing methods from Integer, Double and Number 2022-09-01 15:41:13 +01:00
be8a2426b2
add Natural 2022-09-01 10:41:50 +01:00
06f6ae33c6
add Integer 2022-09-01 09:05:34 +01:00
f000e7df4d
Add Double/ 2022-08-31 19:23:13 +01:00
94acac8467
Add Number/ 2022-08-31 18:52:26 +01:00
51c1490209
refactor arithmetic operation names 2022-08-31 16:08:06 +01:00
1883716525
Add Bool/ 2022-08-31 15:59:38 +01:00
2a472680d9
Initial commit 2022-08-31 14:19:35 +01:00