Issues

• From Untyped to Simply Typed Lambda Calculus

  pl theory
  lambda-pi-meetup/talks#10 · Filter by author supersven opened on Sep 18, 2018
  6

• WTS: Let's get our hands dirty with code verification

  Idristype-levelverificationwts
  lambda-pi-meetup/talks#4 · Filter by author pheymann opened on Jul 3, 2018

• Proposal: Type classes - what they are and how they work

  HaskellproposalScala
  lambda-pi-meetup/talks#3 · Filter by author pheymann opened on Jul 3, 2018

• WTS: How Proofs work in Idris

  Idristype-levelverificationwts
  lambda-pi-meetup/talks#2 · Filter by author pheymann opened on Jul 3, 2018

• WTS: Bartosz Category Theory Tour

  Haskellmathserieswts
  lambda-pi-meetup/talks#1 · Filter by author pheymann opened on Jul 3, 2018