An in-progress fast, dependently typed, functional programming language implemented in Swift.
Primary LanguageSwiftMIT LicenseMIT