Show newer

sonic 2’s competition mode was way better than sonic 3’s

do i know type theory? i dunno, but i theorize that you’re my type, babe

the joy of watching introductory videos about dependently typed purrogramming languages like Idris is you will inevitably encounter rather thorough discussions about the succ

worse re: sorry 

@vaporeon_ @wallhackio mathematicians be like: “i’m gonna Succ this Peano”

@vaporeon_ @wallhackio no, the typical church encoded natural number is deliberately isometric to peano arithmetic. if you’re vaguely familiar with peano numbers then you should at least be able to get what the idea it’s going fur is

Show older
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.