MLEะ@wafflepirateยทFeb 8, 2018Has anyone used a dependently typed language in production and gotten away with it? How did your project fare?36
Brendan Zabarauskas@brendanzabReplying to @wafflepirateWorking on building our own! ๐4:06 AM ยท Feb 9, 2018ยทTwitter for iPhone1 Like
