Create readme.org

Co-authored-by: janmasrovira <janmasrovira@gmail.com> Co-authored-by: Paul Cadman <git@paulcadman.dev>
anoma · Jan 19, 2023 · 7de56a0 · 7de56a0
1 parent 03278ad
commit 7de56a0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/licenses/agda/readme.org 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.