disco-0.2: test/table-function/input
:table ~/\~ :table ~\/~ :table not :table \x. \y. x /\ y :table /\ :table \x. x^2 + 1 :table \x. x^2 - 1 :table \x:Z. x^2 - 1 :table \x:F. x + 1/2 :table \x. reduce(~+~, 0, x) :table \x:Unit. unit
:table ~/\~ :table ~\/~ :table not :table \x. \y. x /\ y :table /\ :table \x. x^2 + 1 :table \x. x^2 - 1 :table \x:Z. x^2 - 1 :table \x:F. x + 1/2 :table \x. reduce(~+~, 0, x) :table \x:Unit. unit