|
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 |
|