about summary refs log blame commit diff
path: root/users/glittershark/achilles/ach/functions.ach
blob: dc6e7a1f3e348b14eb841f494fbffc0248070aeb (plain) (tree)
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