RosettaCodeData/Lang/ACL2/Ethiopian-multiplication

Symbolic link
1 line
40 B
Plaintext

../../Task/Ethiopian-multiplication/ACL2