programming-language-foundations

There are 4 repositories under programming-language-foundations topic.

rami3l/plfl
Learn Lean 4 with PLFA proofs.
Language:Lean50 4 05
minhnhdo/programming-language-foundations-in-idris
Programming language foundations in Idris
Language:Idris1 2 0
minhnhdo/programming-language-foundations-in-lean
Programming language foundations in Lean
Language:Lean1 2 0
WeDu-official/GLC
god like compiler
Language:Python1 1 10