Here are some resources I have found useful before:
This Tweet was deleted by the Tweet author. Learn more
Conversation
This Tweet was deleted by the Tweet author. Learn more
Quote Tweet
Replying to @brendanzab and @logicsoup
I found these helpful when learning how to implement them for Pikelet:
- math.andrej.com/2012/11/08/how
- andres-loeh.de/LambdaPi/
- davidchristiansen.dk/tutorials/nbe/