mbk/typed-stack-lang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 29 KiB
Lean 100%
Find a file
mehbark 0e3825d294
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
Op GADT
2025-09-18 15:31:35 -04:00
.github/workflows initial go 2025-09-18 14:17:02 -04:00
.gitignore initial go 2025-09-18 14:17:02 -04:00
lake-manifest.json initial go 2025-09-18 14:17:02 -04:00
lakefile.toml initial go 2025-09-18 14:17:02 -04:00
lean-toolchain initial go 2025-09-18 14:17:02 -04:00
Main.lean Op GADT 2025-09-18 15:31:35 -04:00
README.md initial go 2025-09-18 14:17:02 -04:00

README.md

puyo