Commit 6936e73c authored by Mário Pereira's avatar Mário Pereira

OCaml64: add List.nth

parent 267d7e30
......@@ -52,6 +52,10 @@ theory list.Mem
syntax predicate mem "List.mem %1 %2"
end
theory list.Nth
syntax function nth "List.nth %1 %2"
end
theory list.Append
syntax function (++) "List.append %1 %2"
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