more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa9eaf8c3b728: tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
- Branches
- Unknown
- Tags