All decks Close
All decks 3

  • Intro to Dependent Types

    Sep 22, 2019 395 2

  • Types as Specifications:

    May 23, 2019 781 4

  • deck

    Oct 02, 2018 543 1