aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2018-10-25 21:10:03 +0200
committerProfpatsch <mail@profpatsch.de>2018-11-04 16:43:41 +0100
commit34bf218b16da946e15f5f5e8ea2e7c6044ed7bf7 (patch)
treef823af2afc1ae4e89887b891f60af53cbd806baa /.github
parente594af80c99f6c293c5a7d982250fd74e1e5521f (diff)
Add dhallPackages and add current Prelude
Dhall is a non-turing complete programming language.
Diffstat (limited to '.github')
-rw-r--r--.github/CODEOWNERS4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index e819d451fd5..17b830e5fad 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -113,3 +113,7 @@
/nixos/modules/services/databases/postgresql.xml @thoughtpolice
/nixos/modules/services/databases/postgresql.nix @thoughtpolice
/nixos/tests/postgresql.nix @thoughtpolice
+
+# Dhall
+/pkgs/development/dhall-modules @Gabriel439 @Profpatsch
+/pkgs/development/interpreters/dhall @Gabriel439 @Profpatsch