Lean Programming Language - with formally verified code by examachine in c/programming_languages@programming.dev
[-] examachine@programming.dev 1 points 5 months 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 5 months ago

Must be an art project :D

examachine

0 post score
0 comment score
joined 5 months ago