|
|
|
|
|
|
by practal
569 days ago
|
|
|
Yes, for a general language (such as abstraction algebra) you would want to allow mixing normal term language and blocks. In RX, that is easy to do: Just reuse the blocks that RX already gives you, while the lines of a block are there for the term language. |
|
|