Geeks
vipo
/
type-driven-dev-2023
Primary Language
Idris
type-driven-dev-2023 GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
Type-driven development (Tipais grįstas programavimas)
Aprašai:
lt
ir
en
.