Modify project structure

Add `src` folder for sources Add `lib` folder for libraries Add `sujet.pdf`
2026-05-13 17:22:00 +00:00 · 2023-03-18 22:27:43 +01:00
parent fe61d9fd09
commit 26eb53c358
14 changed files with 2391 additions and 8 deletions
@@ -0,0 +1,13 @@
+(* Typechecking of source programs *)
+
+open Lang
+
+(* Environments *)
+
+type environment = 
+    {localvars: (vname * tp) list; 
+     funbind: fundecl list   
+    }
+
+
+let tp_prog (Prog (fundecls, fundefns)) = true