prefer self-made Array.T, to avoid problems with ArraySeq in Scala 3;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP18281e769389: more robust Array.T for Scala 2.13 and 3.x, following Isabelle/ca450d902198;
- Branches
- Unknown
- Tags