Notices by James Wood (mudri@mathstodon.xyz)

@julesh Because the newest big British rock band is still Arctic Monkeys.

@julesh @zanzi What does “operfect” mean?

@chrisamaphone @julesh Is it intuitive that Girard's original presentation of linear logic with exponentials admits cut?

@julesh All untyped linear λ-calculus terms can be given a simple type. Just do Hindley-Milner type inference, and nothing can go wrong without multiple occurrences of a variable. (Conor taught me this.)