you should start spelling lean like 'LƎⱯN' and correct anyone who doesnt spell it like that.
#lean #leanprover #coding
you should start spelling lean like 'LƎⱯN' and correct anyone who doesnt spell it like that.
#lean #leanprover #coding
- OCaml - Meta programming
- Racket - Lisp introduction and PL development
- Scala - Like java
- Rust - Systems programming like C and C++
- Lua - Scripting like python except way better syntax
Maybe some PHP...
- OCaml - Meta programming
- Racket - Lisp introduction and PL development
- Scala - Like java
- Rust - Systems programming like C and C++
- Lua - Scripting like python except way better syntax
Maybe some PHP...
#Makefile #Coding #Programming #Programmer #Types #TypeTheory #AlanTuring #Lambda #LambdaCalc
#Makefile #Coding #Programming #Programmer #Types #TypeTheory #AlanTuring #Lambda #LambdaCalc