overview for examachine

Lean Programming Language - with formally verified code in c/programming_languages@programming.dev

[–] examachine@programming.dev 1 point 7 months ago

Lean is a quite advanced design.

Uiua — an extremely terse programming langauge in c/programming_languages@programming.dev

[–] examachine@programming.dev 1 point 7 months ago

Must be an art project :D