skip to primary navigation skip to content

Study at Cambridge
About the University
Research at Cambridge

Search site

Study at Cambridge

Undergraduate

Graduate

International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
History
Visiting the University
Term dates and calendars
Map

For media
Video and audio
Find an expert
Publications
Global Cambridge

News
Events
Public engagement
Jobs
Give to Cambridge

Research at Cambridge

For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search

Computer Laboratory
The department
Seminars
Wednesday Seminar Series
Recordings
2025-05-14 – Type-driven Development with Idris 2

Department of Computer Science and Technology

Home
The department
Research
Admissions
Teaching
Miscellaneous
Internal information

Wednesday Seminar recordings

Computer Laboratory
The department
Seminars
Wednesday Seminar Series

Recordings

2025-05-14 – Type-driven Development with Idris 2

Duration: 57:24, 564 MB/h, 540 MB, download: mp4, talks.cam, speed:

© 2026 Department of Computer Science and Technology, University of Cambridge
Information provided by [Javascript required] – edit page

University A-Z
Contact the University
Accessibility
Freedom of information
Terms and conditions

Study at Cambridge

Undergraduate
Graduate
International students
Continuing education
Executive and professional education
Courses in education

About the University

How the University and Colleges work
Visiting the University
Map
News
Events
Jobs
Give to Cambridge

Research at Cambridge

News
Features
Discussion
Spotlight on...
About research at Cambridge