On Fri, 29 Jun 2012, Mike Mazur wrote:
> On Thu, Jun 28, 2012 at 11:47 PM, Lu Zhuo Ming <
luzh...@gmail.com> wrote:
>> I would like to thank Gergő for the wonderful talk tonight. The topic
>> covered a wide range of interesting points, including Curry Howard
>> isomorphism, GADT, theorem prover, finiteness and countability, termination,
>> etc.
>
> Yes, thanks Gergő for putting the presentation together.
Actually (as I'm sure you could tell) I had a blast as well:)
>> I guess most of us are not quite satisfied with the hasty ending of the talk
>> due the time constraint, let's quickly have a continued talk next month.
>
> Let's nail down a date for part 2 of the talk. How about Wednesday, July 25?
I'm never available on Wednesdays. Otherwise -- I'll have to check my
schedule tomorrow about that week.
I've uploaded the slides (source & PDF; includes all the slides I skipped
or didn't have time to) to
http://gergo.erdi.hu/projects/agda/sg-meetup/.
As for part 2, it seemed (based on questions I got at the venue and also
since then in private correspondence) that equality was a tricky topic, so
I think I'll whip up some more slides on equality (and equivalence
relations in general). Anything else that was particularily unclear?
Bye,
Gergo
Egér: az elefánt japán változata