←BackCCoder-Spirit/nominal0Copy as MarkdownView on GitHub↗0 stars·0 forks·0 viewsNominalFeaturesType Utilities - Support for nominal and dependent types.Star history