Geeks
0xd34df00d
/
refinedt
Refinement types + dependent types = ❤️
Primary Language
Agda
refinedt GitHub
Markdown
Readme
2
Issues
58
Stargazers
8
Watchers
Watchers
0xd34df00d
TX, US
AleXoundOS
Tbilisi, Georgia
eemailme
eu-genes
goldfirere
@janestreet
jhcloos
kotelone
VladislavGrudinin