No description provided.
No description provided.
No description provided.
A higher-kinded polymorphic type checker and experimental type system implementing System F-Omega with traits, recursive types, variants, and kind inference.
Cruel Lambda Thesis
The logical engine for a truly relational world
A crate used to apply calculus functions on equations in string form
Inference calculi for automated theorem proving