TMI is a pure functional, bidirectional, incremental lens-based programming language.
This repo contains several obsolete implementations:
- An untyped prototype in Python, including web support
- An untyped prototype in Scheme, including web support
- A typed prototype in Scheme, including algebraic datatypes and type inference, 90% complete and unllikely to be worked on any further