From 0e928ebde4ab8b662499eb716f366b97479c75fc Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 23 Dec 2019 21:59:47 +0000 Subject: Add two new Integer builtins --- dhall-lang | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall-lang') diff --git a/dhall-lang b/dhall-lang index 89bbf42..ee12030 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 89bbf42f9fd3e9e09f0a15aac9a23d309e50b155 +Subproject commit ee120309828f8a18b3267d192e3030add2a718e5 -- cgit v1.2.3