Comment Comment by amelius Perhaps I don't want to just type-check, but I want to do type-inference as well. parent amelius 9 years ago
