MonoidMusician@monoidmusician9/26/2023, 5:45 PMSTLC actually refers to lambda calculus written without unicode (hence, simply typed)#haskell#programming languages#functional programming#lambda calculussee all