Paulo Torrens

Support for APL, Agda et al.

7

Are there any plans to support symbols for programming in [APL](https://en.wikipedia.org/wiki/APL_(programming_language))? Other languages, such as Agda, use a few unicode mathematical symbols for programming, and could benefit as well. I...

Request for APL support and overall mathematical symbols

1

Hello there, it's me again. [You may remember me](https://www.youtube.com/watch?v=Y6jSKetRBU0) from other open source fonts such as [Source Code Pro](https://github.com/adobe-fonts/source-code-pro/issues/114), [JetBrains Mono](https://github.com/JetBrains/JetBrainsMono/issues/47) and [Noto](https://github.com/notofonts/latin-greek-cyrillic/issues/191), where I went to gently ask for...

Suggestion: let expressions

5

I'd like to suggest a small tweak to help writing code. The default application rule for pure type systems is as follow: ``` L |- f: \/(x: A).B L |-...

General recursion for non-coinductive types

5

Hello, I'm working on a translation from the calculus of constructions to static single assignment form (then I'll move further to typed assembly). As of now, all SSA programs halt...