A gentle introduction to dependent types « Otaku, Cedric's blog

beust.com/weblog/2011/08/18/a-gentle-introduction-to-dependent-types

Comments (0)

Sign in to post comments.