about summary refs log tree commit diff
path: root/users/aspen/achilles/ach/functions.ach
blob: dc6e7a1f3e348b14eb841f494fbffc0248070aeb (plain) (blame)
1
2
3
4
5
6
7
8
ty id : fn a -> a
fn id x = x

ty plus : fn int -> int
fn plus (x: int) (y: int) = x + y

ty main : fn -> int
fn main = plus (id 2) 7