Revision 5963c0edc394e063fc9e58b3330288446c61a4da authored by mkolosick on 23 April 2020, 23:57:54 UTC, committed by mkolosick on 23 April 2020, 23:57:54 UTC
1 parent 5a23fd2
sum.fst
module Sum
val sum : #n:int -> #m:int -> f:(int -> v:int{v = n}) -> g:(int -> v:int{v = m}) -> v:int{v = n + m}
let sum #n #m f g = (f 0) + (g 0)
val test1 : v:int{v = 11}
let test1 = sum (fun x -> 10) (fun y -> 1)
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...