clarified types (again): 'a is canonical for 'class' (as alternative to 'locale'), 'b is common for Hindley-Milner examples;
Description
Description
Details
Details
- Committed
makarius Oct 22 2019, 11:14 AM - Parents
- rISABELLE1e0ad25c94c8: export constdefs according to defs.ML;
- Branches
- Unknown
- Tags