Revision a763dde6d0df28614dc8224591d94cb581237bd0 authored by Lucas Randazzo on 29 February 2024, 12:40:59 UTC, committed by Lucas Randazzo on 06 March 2024, 09:58:18 UTC
1 parent c1669fe
Raw File
add_nat-int_00.tzt
code { ADD } ;
input { Stack_elt nat 5 ; Stack_elt int 5 } ;
output { Stack_elt int 10 }
back to top