Add .gitignore

2026-05-16 17:22:00 +00:00 · 2023-02-24 15:18:30 +01:00
parent 726fbe438c
commit 6efd85192d
10 changed files with 297 additions and 0 deletions
@@ -0,0 +1,15 @@
+(* Datatypes for Postscript instructions *)
+
+
+open Lang
+
+type instr =
+  IVal of value
+| IVar of int
+| IOper of string
+| IBloc of instr
+| ISeq of instr list
+| ILoop of instr
+| IDef of fname * instr
+
+let string_of_instr instr = ""