Skip to main content

Browse the archive

Revision 9f33821a62219c811267420b899e69b851975c6c authored by Nic Volanschi on 20 December 2023, 16:59:45 UTC, committed by Marge Bot on 04 January 2024, 09:23:34 UTC 
doc: one more side typo fix
1 parent 8217185
Raw File
isnat_01.tzt 
code { ISNAT } ;
input { Stack_elt int 0 } ;
output { Stack_elt (option nat) (Some 0) }
back to top