Add name etc.

GaloisInc · Jan 25, 2021 · 8796390 · 8796390
1 parent 70442e4
commit 8796390
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/docs/ParameterizedModules/talk.md b/docs/ParameterizedModules/talk.md
@@ -1,5 +1,12 @@
+
 ML-Sytle Modules for Cryptol
-============================
+----------------------------
+
+Iavor S. Diatchki
+
+Galois Inc
+
+15 January 2021
 
 Modules
 --------