Sydney Types

The Sydney Type Theory meetup.

Sydney, New South Wales

Pinned Repositories

PLATYPUS
Lunchtime type theory study group in Sydney
Language:TeX7 82 43

Sydney Types's Repositories

SydneyTypes/PLATYPUS
Lunchtime type theory study group in Sydney
Language:TeX7 82 43