search

RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi

8 stars 2 forks source link

Greg Exercise 04 - Grammar and Operational Semantics for Numerals #6

Open Jake-Gillberg opened 6 years ago

Jake-Gillberg commented 6 years ago

Write down a computational calculus style presentation of the formation of the Arabic numerals and operational semantics for addition.

Extra credit: Roman numerals

Jake-Gillberg commented 6 years ago

My attempt at the Arabic numerals

tgrospic commented 6 years ago

Here my presentation of Arabic numerals