Miëtek Bak@mietek·Jul 15, 2021Open invitation: If you are learning Agda or Martin-Löf type theory and wish to talk about it or related matters, contact me and I will try to help to the best of my ability.51379
Dave Ripley@davewripley·Dec 5, 2021Do you know of any formulations of a typed lambda-I calculus (lambda calculus with no vacuous binding allowed) in Agda?4
Brendan Zabarauskas@brendanzabReplying to @brendanzab @beka_valentine and 2 othersYeah QTT does seem uhhh ‘relevant’ here 😁8:29 PM · Dec 5, 2021·Twitter Web App