We are hiring ! See our job offers.
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Raw File
Tip revision: f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
updated README
Tip revision: f94b06d
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)
back to top