直観主義論理言語を作ったりも / 直観主義論理言語を作ったり、色々

此影片為非公開
  • 等級 21
  • 粉絲 61
22(成人済み) キリスト者 / logic / philosophy / type systems / Rust / TypeScript
#MenheraOrg #暗号言語Cyphanese #VWAlubis アイコン:@Sky_slu
復活しました?ただいま!