Hmm, I feel like learning a new programming language.
-
@monotonehell โ
โ
-
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 โ
-
@mezzodrinker โ
โ
-
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
@forst โ
โ
-
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. โ
