pikelet (cargo): A friendly little systems language with first-class types.
Keywords: bidirectional-typechecking|compiler|dependent-record-types|dependent-records|dependent-types|programming-language|rust|systems-language|systems-programming|type-system|type-theory|typechecker