mechap @ mechap @lemmy.ml

I am a C++ enthusiast who likes maths, homotopy type theory, template metap

---

Read more

Posts

1

Comments

14

Joined

2 yr. ago