Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.
Primary LanguageC++GNU General Public License v3.0GPL-3.0