Comment Comment by zeugmasyllepsis > static type checking based on sequent calculus, one of the most powerful systems for typing inNot exactly a common characteristic for Lisps parent zeugmasyllepsis 5 years ago
Not exactly a common characteristic for Lisps