~james/remy

ref: 0c936dff3ac8cddb8c0c8a477151e4a03d4c40b6 remy/src/Examples.thy -rw-r--r-- 1.8 KiB
perf(optimiser): fold neutral arithmetic and bitwise operations
feat(compiler): add verified pixel compiler and templeos runner