• @kshade
    link
    6
    edit-2
    1 month ago

    Haskell will probably come with some of these predefined, what with ∀ already being an alias for “forall” and so on.