Viewing a single comment thread. View all comments

twovests OP wrote on March 23, 2018 at 12:47 PM

Reply to comment by Moonside in What "weird" but useful programming environments have you used? by twovests

oh man i gotta check out Coq, that sounds Really Rad tbh

i also definitely need to check out Pico 8 someday (i blame you oakreef for this interest)

7 points (+7, −0)

Short URL:

https://jstpst.net/1279

computer programming

making computer programs is fun so let's talk about it. share stuff you've made, or talk about languages and tools you like. anything about programming is fine.

Created January 12, 2018
Subscribe via RSS

Toolbox

Bans
Moderation log

Moderators

musou

See full list