agda-mugen
agda-mugen copied to clipboard
RedPRL
A formalization of the theory behind the mugen library
The (non-)example was added more or less to demonstrate the limitation of our work, but I guess we can still formalize it? @cangiuli @TOTBWF
There was a bug in the code before the major rewrite 147c8d90f4a3941e547627aac16742d495b5d2bc. It _is_ a valid displacement algebra, though it's different from what's called "Fractal" on paper / in OCaml....
Bumps the github-actions group with 1 update: [docker/build-push-action](https://github.com/docker/build-push-action). Updates `docker/build-push-action` from 5 to 6 Release notes Sourced from docker/build-push-action's releases. v6.0.0 Export build record and generate build summary by @crazy-max...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}