tvl-depot/users/glittershark/achilles/ach/functions.ach

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

9 lines
134 B
Text
Raw Normal View History

ty id : fn a -> a
2021-03-07 21:29:59 +01:00
fn id x = x
ty plus : fn int -> int
fn plus (x: int) (y: int) = x + y
ty main : fn -> int
2021-03-07 21:29:59 +01:00
fn main = plus (id 2) 7