-
Notifications
You must be signed in to change notification settings - Fork 342
Closed
Labels
unicode requestRequest for adding more symbolsRequest for adding more symbols
Description
Are there any plans to support symbols for programming in APL? Other languages, such as Agda, use a few unicode mathematical symbols for programming, and could benefit as well.
I have previously discussed this issue here, and it has been continued here for other fonts.
Disclaimer: I have written some APL code in the past, but it's been a long time since I've last done that. More recently I've written some Agda code, though.
ice1000, Grohden, Kaukov, abrudz, xpqz and 2 moreice1000, Grohden, lilcriispy, Kaukov, abrudz and 2 more
Metadata
Metadata
Assignees
Labels
unicode requestRequest for adding more symbolsRequest for adding more symbols