Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

RCÉpique

jozefg/learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Propriétaire: jozefg (compte personnel)
Étoiles: Étoiles : 2 510
Forks: Forks : 140
Langage: Sans langage
Licence: Aucune
Création: 2015
Rang: RC (2 000 à 4 999 ★) Ce que veut dire ce rang

Voir sur GitHub

Autres dépôts de jozefg

Les 5 dépôts de jozefg

jozefg/higher-order-unificationÉtoiles : 198HaskellPrototype
jozefg/nbe-for-mlttÉtoiles : 138OCamlPrototype
jozefg/pcfÉtoiles : 126HaskellPrototype
jozefg/blottÉtoiles : 123OCamlPrototype