about summary refs log tree commit diff
path: root/users/glittershark/achilles/ach/simple.ach
fn main = let x = 2; y = 3 in x + y