Maude 3.5beta
Pre-release
Pre-release
·
3 commits
to master
since this release
- rat() conversion operator is more tolerant of leading zeros