Open tpetricek opened 4 months ago
Current title is:
We would like something catchier and something that perhaps avoids association with "type theory" people.
The challenge of live evolution
The challenge of live software evolution
Current title is:
We would like something catchier and something that perhaps avoids association with "type theory" people.