Category:Dependently typed languages (Q8374212)

From Wikidata
Jump to: navigation, search
Wikimedia category
    No aliases defined
edit
Language Label Description Also known as
English
Category:Dependently typed languages
Wikimedia category

    Statements

    edit
      edit
        edit
          edit
            edit
              edit