Commit 44e3f959 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

No commit message

No commit message
parent 5f00907f
......@@ -235,22 +235,3 @@ lexicon tag_syntax (derivation_trees) : derived_trees =
I_n,I_vp,I_s := lambda x.x;
end
signature toto =
tutu: type;
essai : type;
(* voici *)
a : toto ->
tutu ;
b; to; (Lambda ());
(* toto
sfsdf
tutu *)
(* toto *)
tutu;
end
essa;
end
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment