Added parts on semantics and examples

joristt / Hanus

A much more powerful version of the reversible language Janus, built in Haskell

8 stars 0 forks source link

Closed jorisburgers closed 6 years ago

jorisburgers commented 6 years ago

@ivogabe I changed all your points

ivogabe commented 6 years ago

Looks good but you have merge conflicts..