Joe Groff@jckarter·Apr 9, 2021We often lament that nobody wants to pay money for good developer tools anymore. But has anyone tried selling their developer tool as a video game247116
Brendan Zabarauskas@brendanzabReplying to @jckarterkind of want to embed a dependently typed scripting lang inside a game 🙃1:48 AM · Apr 9, 2021·Twitter Web App3 Likes
Brendan Zabarauskas@brendanzab·Apr 9, 2021Replying to @brendanzab and @jckarterone day my voyager thing will happen 😅1
