Commit 36650224 authored by Simon Marlow's avatar Simon Marlow
Browse files

accept output

parent 5f8147a8
......@@ -2,6 +2,6 @@ a = (_t1::[MkT2 Integer])
()
a = (_t2::MkT2 Integer) : (_t3::[MkT2 Integer])
()
a = MkT2 (_t4::MkT Integer) : (_t5::[MkT2 Integer])
a = MkT2 (MkT 1) : (_t4::[MkT2 Integer])
()
a = MkT2 (MkT 1) : (_t6::[MkT2 Integer])
a = MkT2 (MkT 1) : (_t5::MkT2 Integer) : (_t6::[MkT2 Integer])
Supports Markdown
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