Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Book: Gentle Introduction to Dependent Types with Idris
Simplified example cryptocurrency implementation in Racket
Hashtable implementation in C
Synergy PF-500 Fiscal Printer API
Soko implementation in Scheme
Paper: Formalizing line editors in Coq
s/lambda calcululus/lambda calculus at the end of section 1.1.
Lambda calcululus sounds fun though :)
s/lambda calcululus/lambda calculus
Seeing something unexpected? Take a look at the
GitHub profile guide.