Simple unit tests within dependent type systempozorvlak.livejournal.com14 points·thesz··0 commentsOpen articleSaveView on HN