Beluga lang: Contextual types meet mechanized metatheorycomplogic.cs.mcgill.ca2 points·alokrai··0 commentsOpen articleSaveView on HN