tvl-depot/users/glittershark/achilles/ach/functions.ach
Vincent Ambo b6895a5b30 merge(glittershark/achilles): Subtree import at 'b93268085a'
Imported from https://github.com/glittershark/achilles/

git-subtree-dir: users/glittershark/achilles
git-subtree-mainline: 4d193f2395
git-subtree-split: b93268085a
Change-Id: I64a583b454bbe03e20358ad7808939a4cbc212ba
2021-03-15 22:48:27 +02:00

3 lines
70 B
Text

fn id x = x
fn plus (x: int) (y: int) = x + y
fn main = plus (id 2) 7