☭
Functions are defined with ∇, and comments start with ⍝ ? I am liking the fancy symbols 
@vaporeon_ wonder if Vaporeon would like Agda or Lean
@aescling Vaporeon has no idea what either of these are — are those also programming languages?
Follow
@vaporeon_ purrogramming languages that are also proof assistants :3
@vaporeon_ (those specific languages require the use of fancy logical symbols all over the place; they do not give a shit about compatibility with ASCII)