polytypic/f-omega-mu

This is stars and forks stats for /polytypic/f-omega-mu repository. As of 30 Apr, 2024 this repository has 48 stars and 1 forks.

Fωμ type checker and compiler A type checker and compiler (*, *) for Fωμ restricted to non-nested types (*). This Fωμ variant has structural sum and product types (*, *), join and meet type operators (*), equirecursive types (*, *), higher-kinded types (*), including type level lambdas and kind inference (*), impredicative universal and existential types (*), structural subtyping (*, *), decidable type checking, and phase separation. These features make Fωμ relatively well-behaved as well as expressive (*, *, *) and...