Llama llama

Blah blah. I’m a Jonas. My Twitter is here and my GitHub is there.

For lambda calculus things, this is maybe good starting point.

Also, stuff: