@randyisrandom.bsky.social
43 Followers · 234 Following
Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix Investigating the illusion of discreetness
