Lean Programming Language - with formally verified code by examachine in c/programming_languages@programming.dev
[-] examachine@programming.dev 1 points 1 month ago

Lean is a quite advanced design.

Uiua — an extremely terse programming langauge by examachine in c/programming_languages@programming.dev
[-] examachine@programming.dev 1 points 1 month ago

Must be an art project :D

examachine

joined 1 month ago