.🐍☕🦀

#exercism #programming languages #python #java #rust #polyglot #dotfile

{;}</>💾

#programming languages #software engineering #source code #algorithms

🅰️⊃

#type theory #set theory #superset #subtype #programming languages #formal methods #mathematical type