Geeks
AndrasKovacs
/
staged
Staged compilation with dependent types
Primary Language
TeX
staged GitHub
Markdown
Readme
3
Issues
164
Stargazers
13
Watchers
Watchers
rgrinberg
Toronto
ollef
Oslo, Norway
eldesh
Tokyo
timothyklim
haroldcarr
United States
jhcloos
glaebhoerl
Hungary
atennapel
Netherlands
AndrasKovacs
anqurvanillapy
Chengdu, China
intsuc
Japan
eemailme
eashanhatti