search

paulfitz / cosmicos

Sending the lambda calculus into deep space
https://cosmicos.github.io/
GNU General Public License v2.0
134 stars 8 forks source link

support message variants #21

Closed paulfitz closed 8 years ago

paulfitz commented 8 years ago

This commit adds basic support for message variants. Variants are placed in variant/*.cmake files. Variants can include different sections of the message. There is rudimentary support for encoding differences. Currently the only option supported is whether the | and $ syntax is considered to be syntactic sugar that needs expanding into parentheses, or genuine symbols to be communicated.

joha2 commented 8 years ago

Very cool. I checked it out and it works! Thanks for implementing!