4 ms·
Agda mixfix supports things like: [ foo ] bar ! ! baz etc. It also supports precedence parsing. I don't Smalltalk can do all of these. Smalltal
by Peaker 12y ago
Agda mixfix supports things like:
[ foo ]
bar !
! baz
etc.
It also supports precedence parsing.
I don't Smalltalk can do all of these.
Smalltalk, unlike Agda, can probably omit the spacing around operators, though, while Agda can't :)
- beagle3 12y agoI probably should look more closely at Agda. But the if_then_else_ example is basically smalltalk equivalant - although I suspect Agda will be able to do without the angle brackets that Smalltalk often needs in these cases.