Skip to main content

Browse the archive

Revision 3a9c77e1570418930713e762dbeab783bb23810f authored by Hantang Sun on 02 April 2024, 15:47:22 UTC, committed by Marge Bot on 03 April 2024, 13:08:26 UTC 
Etherlink: update ghostnet kernel to d517020b
1 parent 5aefaac
Raw File
ediv_int-int_01.tzt 
code { EDIV } ;
input { Stack_elt int 5 ; Stack_elt int 0 } ;
output { Stack_elt (option (pair int nat)) None }
back to top