Closed bryanedds closed 5 months ago
This will require the next version of Prime, however.
Actually, the new behavior of SList.singleton should be satisfactory enough here.
This will require the next version of Prime, however.