From 7de56a03f02e4bb1f556aa4260557d2f610a9d3b Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Thu, 19 Jan 2023 18:19:03 +0100
Subject: [PATCH] Create readme.org

Co-authored-by: janmasrovira <janmasrovira@gmail.com>
Co-authored-by: Paul Cadman <git@paulcadman.dev>
---
 licenses/agda/readme.org | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 licenses/agda/readme.org

diff --git a/licenses/agda/readme.org b/licenses/agda/readme.org
new file mode 100644
index 0000000..a55a2ab
--- /dev/null
+++ b/licenses/agda/readme.org
@@ -0,0 +1,3 @@
+#+title: Readme
+
+We have copied [[https://github.com/agda/agda][Agda]]'s input method and adapted it to Juvix.