MiniAgda: Integrating Sized and Dependent Types (2010)arxiv.org2 points·anqurvanillapy··0 commentsOpen articleSaveView on HN