Hide content and notifications from this user.
Contact Support about this user's behavior.
Plan 9 compatible UTF-8 C library
Sets of runes with a UTF-8 tree structure
Optimised type inference for simply-typed λ-calculus
Strongly normalising Krivine machine for λσ⇑-calculus
Seeing something unexpected? Take a look at the
GitHub profile guide.