UniTO/tesi/examples/ex1.lambda

4 lines
112 B
Text
Raw Permalink Normal View History

2020-06-04 23:48:32 +02:00
(setglobal Prova!
(let (f1/80 = (function param/81 : int (if (!= param/81 0) 1 0)))
(makeblock 0 f1/80)))