All decks Close
All decks 3

  • Intro to Dependent Types

    Sep 22, 2019 406 2

  • Types as Specifications:

    May 23, 2019 793 4

  • deck

    Oct 02, 2018 555 1