All decks Close
All decks 3

  • Intro to Dependent Types

    Sep 22, 2019 446 2

  • Types as Specifications:

    May 23, 2019 866 4

  • deck

    Oct 02, 2018 600 1