RosettaCodeData/Task/Mutual-recursion/ACL2
2023-07-01 13:44:08 -04:00
..
mutual-recursion.acl2 Initial data commit 2023-07-01 13:44:08 -04:00