mbk/typed-stack-lang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
All workflows lean_action_ci.yml
Actor
All actors mbk
Status
All status success failure waiting running
Op GADT
lean_action_ci.yml #1 -Commit 0e3825d294 pushed by mbk
main
2025-09-19 16:07:59 -04:00
0s