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
1 parent 8217185
isnat_01.tzt
code { ISNAT } ;
input { Stack_elt int 0 } ;
output { Stack_elt (option nat) (Some 0) }
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...