equirecursive-types

Star

Here are 2 public repositories matching this topic...

polytypic / f-omega-mu

Star

Fωμ type checker and compiler

wip type-system hobby-project higher-kinded-types equirecursive-types structural-types impredicative-types

Updated Jan 28, 2023
OCaml

thrunduil / Arrow

Star

Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.

language system-f system-f-omega polymorphic-kinds equirecursive-types progamming-language

Updated Feb 11, 2021
C++

Improve this page

Add a description, image, and links to the equirecursive-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the equirecursive-types topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

equirecursive-types

Here are 2 public repositories matching this topic...

polytypic / f-omega-mu

thrunduil / Arrow

Improve this page

Add this topic to your repo