2 ms·

I think this is (at least part of) why: "Another thing that sets Agda apart from other languages is its extensive use of unicode to make mathematical construct

I think this is (at least part of) why: "Another thing that sets Agda apart from other languages is its extensive use of unicode to make mathematical constructs more natural."

drivingmenuts 12y ago
APL called and is a bit miffed.
- SamReidHughes 12y ago
  They didn't have Unicode back then :-)