From 25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 Mon Sep 17 00:00:00 2001 From: Clement Delafargue Date: Thu, 3 Oct 2019 11:31:56 +0200 Subject: upgrade dhall to 1.26.1 and merge types and terms Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well. --- dhall/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 dhall/.gitignore (limited to 'dhall/.gitignore') diff --git a/dhall/.gitignore b/dhall/.gitignore new file mode 100644 index 0000000..8f5fd87 --- /dev/null +++ b/dhall/.gitignore @@ -0,0 +1 @@ +.history -- cgit v1.2.3