code / tomo

   1 func add(x:Int, y:Int -> Int)
   2 	return x + y
   3 
   4 func cached_heap(x:Int->@Int; cached)
   5 	return @x
   6 
   7 func main()
   8 	assert add(3, 5) == 8
   9 
  10 	assert cached_heap(1) == cached_heap(1)
  11 	assert cached_heap(1) != cached_heap(2)
  12