Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

A Little Taste of Dependent Types

Strange Loop Conference via YouTube

Start learning Write review
Corporate Finance Institute Ad

Learn Excel and Financial Modeling the Way Finance Teams Actually Use Them

Learn More → DataCamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More →

Overview

Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This course introduces dependent types through the small Pie language, showing how programming techniques can express mathematical proofs. It demonstrates a proof that is also a program.

Syllabus

Intro
Some Momentous Events
Types and Programs
What's a Type?
Addition
Double
There is Evidence
Evidence of Evenness
Is Zero Even?
Evidence of Oddness
All the Evidence
Every Natural Number is Even or Odd
The Step

Taught by

Strange Loop Conference

Tags

Reviews

Start your review of A Little Taste of Dependent Types

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.