search

astampoulis / makam

The Makam Metalanguage
GNU General Public License v3.0
194 stars 11 forks source link

A cheat sheet of Makam syntax #80

Open suhr opened 4 years ago

suhr commented 4 years ago

Something like this: https://lamport.azurewebsites.net/tla/summary-standalone.pdf (not necessary in pdf).

suhr commented 4 years ago

By the way, there's no type for natural numbers in https://github.com/astampoulis/makam/blob/master/examples/lib/builtins.makam. Does Makam have it?

astampoulis commented 4 years ago

Thanks for the suggestion, @suhr. That would indeed be useful to have.

There is no builtin type for natural numbers in Makam. You can define natural numbers inductively, or re-use integers (potentially with predicates that limit their use to natural numbers), depending on your use case.