-
Not Synced
This workshop will be a practical
introduction to Haskell GADTs and sort
-
Not Synced
of before, before lot of the introductory
matter, I just want to drive attention
-
Not Synced
to these instructions up here, uh, there
are some dependencies for the last exercise
-
Not Synced
that we will be doing during the workshop.
It shouldn't take very long to do.
-
Not Synced
So, if you start now it's probably gonna
take 10 mins or so for all that to compile.
-
Not Synced
But you might as well get started now, so
people can go off and do that.
-
Not Synced
So thanks very much for coming today.
Let me start by introducing myself today,
-
Not Synced
I am a fourth year, starting my fifth year
soon, grad student at the University of
-
Not Synced
Pennsylvania and I spend a lot of my time
thinking about these languages. Right.
-
Not Synced
These are sort of the three big
dependently typed languages that I like to
-
Not Synced
think about. Out of curiosity, how many
of you were at the Idris talk this morning?
-
Not Synced
Well, okay cool. So I don't think we had a
sort of way of knowing this until after
-
Not Synced
it all happened, but I think this workshop
is the workshop that, it'll end where that
-
Not Synced
one began, a little bit.
