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
Raw File
cdr_01.tzt
code { CDR } ;
input { Stack_elt (pair int int) (Pair 0 1) } ;
output { Stack_elt int 1 }
back to top