Explicit Quantification of Existential Sizesfuthark-lang.org2 points·Athas··0 commentsOpen articleSaveView on HN