RosettaCodeData/Task/Unicode-variable-names/ACL2
2023-07-01 13:44:08 -04:00
..
unicode-variable-names.acl2 Initial data commit 2023-07-01 13:44:08 -04:00