algebraic typechecking and elaboration of type systems
/learn @cyberglot/Faeth
Quality Score
Category
Supported Platforms
cyberglot
View profile
Languages
Security Score
Audited on Jul 2, 2025