feat(Transport) add simpler function type introduction rule for extend
Description
Description
Details
Details
- Provenance
kappelmann Authored on - Parents
- rAFP237996782d80: feat(Transport) functions as binary relations, improved mono notation, make non…
- Branches
- Unknown
- Tags