Commit d23d9e76 authored by Sylvain Dailler's avatar Sylvain Dailler

List in driver.

parent 390f2ac9
......@@ -84,3 +84,10 @@ theory Tuple4
syntax type tuple4 "(%1 * %2 * %3 * %4)"
end
theory list.List
syntax function Cons "(%1 :: %2)"
syntax function Nil "[]"
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