aboutsummaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
authorpacien2018-04-20 23:32:38 +0200
committerpacien2018-04-20 23:32:38 +0200
commit3f25710a891dfcd17f597c16dfedf5499bc1bbd6 (patch)
tree71bec80335de3820994d26c68bb4cc8ca961789a /main.ml
parent2e6e365262b7dc072d7ac35ff867f309e3ff784c (diff)
downloadurm-3f25710a891dfcd17f597c16dfedf5499bc1bbd6.tar.gz
Modularize everything
Diffstat (limited to 'main.ml')
-rw-r--r--main.ml10
1 files changed, 10 insertions, 0 deletions
diff --git a/main.ml b/main.ml
new file mode 100644
index 0000000..e85aeb2
--- /dev/null
+++ b/main.ml
@@ -0,0 +1,10 @@
1(*
2 * UPEM / L3 / Functional programming / Project: URM
3 * Pacien TRAN-GIRARD, Adam NAILI
4 *)
5
6open Common
7open Parser
8open Instptr
9open Reg
10open Urm