]> gerrit.simantics Code Review - simantics/platform.git/blob - TypeOf1.scl
12c0180ddee323cab311c4564bccfba30f8a42a2
[simantics/platform.git] / TypeOf1.scl
1 import "Prelude"
2
3 main = typeOf (\(a,b) -> a+b :: Double)
4 --
5 (Double, Double) -> Double