In progress…
- Current category theory picks and highlights
- Existing Typescript to Javascript morphings
- Python morphing patterns and anti-patterns
- Is Julia “categorically” similar? Why bother?
- Shared semantics and significant differences
- Configurable morphing infrastructure
- Few implementation details and future work
- Integration with the Language Server framework
- Comparison metrics through morphings