Programming Language Theory λΠ
- programming-languages
- type-theory
- functional-programming
- category-theory
Repository Index
78,850 visible repositories in the index
1–2 of 2 · Most stars
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
- hedy
- gradual
- education
- programming