1
Sets, types and type checking
My currently understanding of types
writings on the things
Visit kaleidawave.github.io → RSS feedOn Hacker News Sep 2022 – Oct 2024
Software Engineering 2Math & Algorithms 1Programming Languages 1
My currently understanding of types