Sign in
FLK-Semantics.
Writing out small-step and big-step operational semantics for the FLK language in Idris
github.com/ezrosent/FLK-Semantics
by
@ezrosent
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
