.

uelis · Mar 26, 2012 · 93848e8 · 93848e8
1 parent f0d6b3b
commit 93848e8
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 4 deletions.
diff --git a/compile.ml b/compile.ml
@@ -1,3 +1,5 @@
+(** Compilation to circuits
+*)
 open Term
 open Unify
 open Typing

diff --git a/decls.ml b/decls.ml
@@ -1,3 +1,5 @@
+(** Declarations used in toplevel.
+*)
 
 type decl = 
   | TermDeclW of Term.var * Term.t

diff --git a/evaluation.ml b/evaluation.ml
@@ -1,3 +1,6 @@
+(** Evaluation of working class terms.
+  * @author schoepp
+  *)
 open Term
 
 (* evaluation of closed terms *)  

diff --git a/typing.ml b/typing.ml
@@ -1,7 +1,5 @@
-(**
-  * Type inference
-  *
-  *)
+(** Type inference
+*)
 open Term
 open Term.Location
 open Type