@dabeaz Not IDEs, types.
@fumanchu "Types, not typing" would be an interesting thing to put on a T-shirt I think.
Gregory's Server
@fumanchu "Types, not typing" would be an interesting thing to put on a T-shirt I think.