bor0

bor0

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
84 Stars
4 Forks
84 Watchers

Repositories (2)

gidti bor0/gidti

Book: Introduction to Dependent Types with Idris

78
misc bor0/misc C

Misc playground and random stuff

6