This is a personal place where I toy around with ideas in Cubical Agda. I throw 🍝 at the wall, sometimes it sticks.
This project is subject to the terms of the MIT License.
🧊🛝
This is a personal place where I toy around with ideas in Cubical Agda. I throw 🍝 at the wall, sometimes it sticks.
This project is subject to the terms of the MIT License.
🧊🛝
MIT License