diff options
Diffstat (limited to 'spartan/core/implicits.ML')
| -rw-r--r-- | spartan/core/implicits.ML | 6 |
1 files changed, 6 insertions, 0 deletions
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 |