How and Why I Implemented Type Inference in a Logic Languageosohq.com3 points·gneray··0 commentsOpen articleSaveView on HN