search

mcenv / mce

A programming environment for Minecraft
MIT License
15 stars 0 forks source link

Conversion checking modulo associativity #228

Open intsuc opened 2 years ago

intsuc commented 2 years ago

Implementation note

eval : Term → VTerm
eval ((a + b) + c) = +[a, b, c]
eval (a + (b + c)) = +[a, b, c]

quote : VTerm → Term
quote +[a, b, c] = a + (b + c)