• 0%
    0 votes
  • Rate this episode
    What did you think?
  • 4
    watchers
  • 6
    plays
  • 5
    collected

Computerphile: Season 2021

2021x32 Eliminating Run-Time Errors with Agda
TV-G

  • 2021-08-20T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
A language designed to eliminate run-time errors? Professor Thorsten Altenkirch demonstrates programming Type Theory with Agda.
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...