From b3a83daf5f6ad95841741d84cc33145a9d354d1e Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Tue, 21 Aug 2018 12:46:29 +0200
Subject: [PATCH] Added basic agda support.

---
 modules/lang/agda/README.org | 9 +++++++++
 modules/lang/agda/config.el  | 7 +++++++
 modules/lang/agda/doctor.el  | 5 +++++
 3 files changed, 21 insertions(+)
 create mode 100644 modules/lang/agda/README.org
 create mode 100644 modules/lang/agda/config.el
 create mode 100644 modules/lang/agda/doctor.el

diff --git a/modules/lang/agda/README.org b/modules/lang/agda/README.org
new file mode 100644
index 000000000..1812f748d
--- /dev/null
+++ b/modules/lang/agda/README.org
@@ -0,0 +1,9 @@
+#+TITLE: :lang agda
+
+This module adds support for the [[http://wiki.portal.chalmers.se/agda/pmwiki.php][agda]] programming language.
+
+Emacs support is included in the agda release (you can find installation
+instructions [[https://agda.readthedocs.io/en/latest/getting-started/installation.html][here]]). This module attempts to find the location of ~agda2.el~ via
+the ~agda-mode locate~ command that comes with the agda release. Users can set
+this manually by setting the ~+agda2-dir~ variable. 
+
diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
new file mode 100644
index 000000000..a294c30f7
--- /dev/null
+++ b/modules/lang/agda/config.el
@@ -0,0 +1,7 @@
+;;; lang/agda/config.el -*- lexical-binding: t; -*-
+
+(defvar +agda-dir (string-remove-suffix "/agda2.el" (shell-command-to-string "agda-mode locate")))
+
+(def-package! agda2
+  :load-path +agda-dir)
+
diff --git a/modules/lang/agda/doctor.el b/modules/lang/agda/doctor.el
new file mode 100644
index 000000000..e38ccbc03
--- /dev/null
+++ b/modules/lang/agda/doctor.el
@@ -0,0 +1,5 @@
+;; -*- lexical-binding: t; no-byte-compile: t; -*-
+;;; lang/agda/doctor.el
+
+(unless (executable-find "agda-mode")
+  (warn! "Couldn't find agda-mode. Agda support won't work"))