I am a C++ enthusiast who likes maths, homotopy type theory, template metaprogramming and all the intricacies of formal specifications of programming languages and mathematical foundations.

  • 1 Post
  • 10 Comments
Joined 1 year ago
cake
Cake day: July 12th, 2023

help-circle