Projects in Awesome Lists tagged with system-f-omega | Ecosyste.ms: Awesome

Projects in Awesome Lists tagged with system-f-omega

A curated list of projects in awesome lists tagged with system-f-omega .

- Recently synced
- Stars

https://github.com/tominated/system_f_omega

My Attempt at System Fω with Row-Polymorphism

functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega

Last synced: 21 Nov 2024