~james/remy

ref: 3e3f52cd4b5a7e127a8a6834b895a5537dcf5b47 remy/src/Examples.thy -rw-r--r-- 2.0 KiB
perf(optimiser): eliminate absorbing arithmetic and bitwise expressions
perf(optimiser): fold neutral arithmetic and bitwise operations
feat(compiler): add verified pixel compiler and templeos runner