Loading...

Compose Conference - Type Providers and Error Reflection in Idris

1,542 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Feb 16, 2015

C◦mp◦se :: Conference
http://www.composeconference.org/
January 31, 2015

Type Provides and Error Reflection in Idris
by David Christiansen

Loading...


to add this to Watch Later

Add to

Loading playlists...