Conversation

With a lot of help from

@d_christiansen

🙏 ... I rewrote his tutorial's code into #Scala to understand it better.. #typechecker for dependent types. github.com/heyrutvik/nbe-

Quote Tweet

David Thrane Christiansen

@d_christiansen

I wrote a tutorial: davidchristiansen.dk/tutorials/nbe/ Feedback welcome!

1

2

8

Brendan Zabarauskas

Replying to

and

@d_christiansen

So nifty! I always learn a bunch when porting stuff!

1:22 PM · Oct 5, 2018Twitter Web Client

Replying to

and

@d_christiansen

Exactly, that was the primary reason 🙂

1