NodeBB

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

Hmm, I feel like learning a new programming language.

25 Posts 12 Posters 84 Views

M mezzodrinker@social.mezzo.moe

@volpeon The drug?
V This user is from outside of this forum
V This user is from outside of this forum
volpeon@icy.wyvern.rip

wrote last edited by

#21

@mezzodrinker
1 Reply Last reply

0
V volpeon@icy.wyvern.rip

I'm now taking a look at Lean
F This user is from outside of this forum
F This user is from outside of this forum
forst@mastodon.social

wrote last edited by

#22

@volpeon I'm now taking a look at wyverns
V 1 Reply Last reply

0
V volpeon@icy.wyvern.rip

I'm now taking a look at Lean
? Offline
? Offline
Guest

wrote last edited by

#23

@volpeon lean on me.
1 Reply Last reply

0
F forst@mastodon.social

@volpeon I'm now taking a look at wyverns
V This user is from outside of this forum
V This user is from outside of this forum
volpeon@icy.wyvern.rip

wrote last edited by

#24

@forst
1 Reply Last reply

0
V volpeon@icy.wyvern.rip

I'm now taking a look at Lean
V This user is from outside of this forum
V This user is from outside of this forum
volpeon@icy.wyvern.rip

wrote last edited by

#25

I guess I hate myself because I'm porting my Haskell JSON-LD library to see how Lean is different from Haskell.
1 Reply Last reply

0

Log in to reply

1
2