GitHub repository: Kaiepi/ra-Kind
Primary language: Raku
Description: Typechecking based on kinds