Brutal [Meta]Introduction to Dependent Types in Agda
oxij.org/note/BrutalDepTypes
An introduction to dependent types which does not try to hide the hard parts of dependently typed programming in Agda.
An introduction to dependent types which does not try to hide the hard parts of dependently typed programming in Agda.
Comments (0)
Sign in to post comments.