Add CITATION.cff

rahulc29 · Nov 1, 2023 · ff279ce · ff279ce
1 parent 76b9800
commit ff279ce
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -0,0 +1,6 @@
+cff-version: 1.2.0
+message: Cite as below
+authors:
+	- family-names: Chhabra
+	  given-names: Rahul
+title: Experiments with Realizability in Cubical Agda