Brendan Zabarauskas@brendanzabOhh this looks super handy! Always great to get more tutorials about implementing dependent types:Quote TweetDavid Thrane Christiansen@d_christiansen · Sep 9, 2018I wrote a tutorial: http://davidchristiansen.dk/tutorials/nbe/ Feedback welcome!10:28 AM · Sep 9, 2018·Twitter Web Client1 Like
