home | feeds |donate  
compilers should write types for programmers, not the other way around
- Jan 05 2023