2 files changed, 0 insertions, 42 deletions
diff --git a/users/Profpatsch/ini/default.nix b/users/Profpatsch/ini/default.nix
deleted file mode 100644
index e1a7a1a7b6b7..000000000000
--- a/users/Profpatsch/ini/default.nix
+++ /dev/null
@@ -1,6 +0,0 @@
-{ depot, ... }:
-{
-  externs = {
-    renderIni = depot.users.Profpatsch.toINI { };
-  };
-}
diff --git a/users/Profpatsch/ini/ini.dhall b/users/Profpatsch/ini/ini.dhall
deleted file mode 100644
index f2efbc0af4f1..000000000000
--- a/users/Profpatsch/ini/ini.dhall
+++ /dev/null
@@ -1,36 +0,0 @@
-let lib = ../dhall/lib.dhall
-
-let NameVal = λ(T : Type) → { name : Text, value : T }
-
-let ValueList = λ(T : Type) → List (NameVal T)
-
-let Section = ValueList Text
-
-let Sections = ValueList Section
-
-let Ini = { globalSection : Section, sections : Sections }
-
-let
-    -- Takes to INI files and merges their global sections and their section lists,
-    -- without duplicating by section name.
-    appendInis =
-      λ(inis : List Ini) →
-          { globalSection =
-              lib.List/concat
-                (NameVal Text)
-                (lib.List/map Ini Section (λ(i : Ini) → i.globalSection) inis)
-          , sections =
-              lib.List/concat
-                (NameVal Section)
-                (lib.List/map Ini Sections (λ(i : Ini) → i.sections) inis)
-          }
-        : Ini
-
-let
-    -- Signatures of functions that are input via FFI.
-    Externs =
-      { -- given a dsl of functions to create an Ini, render the ini file
-        renderIni : Ini → Text
-      }
-
-in  { NameVal, ValueList, Section, Sections, Ini, appendInis, Externs }