From 77df99b3ffa41395ced31785074525c85e35fee9 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 14 Aug 2020 19:55:38 +0200
Subject: minor

---
 spartan/core/implicits.ML | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'spartan/core/implicits.ML')

diff --git a/spartan/core/implicits.ML b/spartan/core/implicits.ML
index ab64b0f..2b63f49 100644
--- a/spartan/core/implicits.ML
+++ b/spartan/core/implicits.ML
@@ -1,3 +1,9 @@
+(*  Title:      implicits.ML
+    Author:     Joshua Chen
+
+Implicit arguments.
+*)
+
 structure Implicits :
 sig
 
-- 
cgit v1.2.3