mechap @ mechap @lemmy.ml

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

---

Подробнее

Посты

1

Комментарии

13

Joined

2 yr. ago