Hmm, I feel like learning a new programming language.
-
@vel Woozdot
-
@vel Woozdot
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
-
Gleam looks interesting
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
@volpeon@icy.wyvern.rip
Neobots are here to help.
-
Hmm, I feel like learning a new programming language. At work all we ever use is JavaScript and TypeScript
I'm now taking a look at Lean
-
I'm now taking a look at Lean
@volpeon@icy.wyvern.rip >theorem prover
-
I'm now taking a look at Lean
-
I'm now taking a look at Lean
@volpeon I'm now taking a look at wyverns
-
I'm now taking a look at Lean
-
@volpeon I'm now taking a look at wyverns
-
I'm now taking a look at Lean
I guess I hate myself because I'm porting my Haskell JSON-LD library to see how Lean is different from Haskell.
