Type Theory Forall - #34 Foundations of Theorem Provers and Cedille2 (Podcast) (www.typetheoryforall.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 16 Oct 2023 15:29
https://programming.dev/post/4447175

#programming_languages

threaded - newest