Geeks
amblafont
/
unification
Notes (and implementation) of unification with binders
Primary Language
TeX
unification GitHub
Markdown
Readme
6
Issues
14
Stargazers
3
Watchers
Stargazers
anqurvanillapy
@Shopee
cangiuli
dannypsnl
@second-state
DrRuisseau
elpinal
favonia
University of Minnesota
jonsterling
University of Cambridge
Kraks
INRIA/ENS; Tufts
marvinborner
@effekt-lang
philzook58
Draper
tonyxty
vikraman
UniversitĂ di Bologna
wenkokke
Scotland