A talk on Agda

[Adam Krupicka]

Hi,

at the "afterparty" of the last meetup I recall a few people expressing
interest in attending a talk on Agda. I could do a presentation giving a
brief introduction. I can imagine the talk spanning 30 to 60 minutes and
taking place some time in late September or early October. It would be
ideal if a class could be reserved at FI MUNI with both a blackboard
(and working markers!) and a projector — I don't know whether students,
such as myself, can make these reservations?


Regards,
A. K.

[Vladimir Still]

Hi,

I would surely be interested and I can make reservation once time is
set. Maybe you could do too, have a look at
https://is.muni.cz/auth/rozvrh/rezervace_mistnosti.

V.

[Adam Krupicka]

Hi again,

I took the liberty of initiating a poll [1] to help us decide on the
time.
I thank you for the link to class reservations, however I'm not
authorized to use it.

[1] http://doodle.com/poll/2tkmcrqsdaru5x84


A. K.

Excerpts from Vladimir Still's message of 2016-09-07 09:11:19 +0200:

[Peter Trško]

Hi Adam,

>> > at the "afterparty" of the last meetup I recall a few people expressing
>> > interest in attending a talk on Agda.

I was one of those interested people, and I still am.

> I took the liberty of initiating a poll [1] to help us decide on the
> time.

Thanks for doing this!

It would be great if you could also add the talk to the FPBrno page by
sending a pull request. You can find the relevant code here:

https://github.com/FPBrno/FPBrno.github.io/blob/master/gen/test-html.hs#L108

That file may not suggest it, but that is a production version. :-)
Matej will be really glad to have help with the maintenance.

@all: Be social with the new @FPBrno twitter account!
(https://twitter.com/FPBrno)


Regards,

Peter

[Tomas Janousek]

Hi Peter,

On Thu, Sep 08, 2016 at 10:29:59PM +0200, Peter Trško wrote:
> @all: Be social with the new @FPBrno twitter account!
> (https://twitter.com/FPBrno)

Speaking of being social, I'd really appreciate a reply to my inquiry on
#ixcom from 2016-08-29... :-)

(or, well, any other inquiry I sent to you through that channel in the past 5
months, for that matter)

--
Tomáš Janoušek, a.k.a. Pivník, a.k.a. Liskni_si, http://work.lisk.in/

[Adam Krupicka]

Hi all,

I have closed the poll. The most popular date was the 13th of October at
seven o'clock in the evening.
Vladimir, could you please make a class reservation for the above date
and time? Thanks in advance :)


A.

Excerpts from Adam Krupicka's message of 2016-09-08 21:56:44 +0200:

[Adam Krupicka]

Hi once again,

a class has been reserved, and so the talk will take place on

13th October at FI MUNI, class A319, 19:00.

As is customary for the talks held at FI, I would imagine that it should
be possible to meet up in front of the faculty at 18:50, in case you're
not sure where the class is located.


A. K.

> --
> You received this message because you are subscribed to the Google Groups "Functional Programming Brno" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fpbrno+un...@googlegroups.com.
> To post to this group, send email to fpb...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fpbrno/1473363799-sup-6551%40arch.local.
> For more options, visit https://groups.google.com/d/optout.

[Matej Kollar]

On Tue, Sep 06, 2016 at 10:47:50PM +0200, Adam Krupicka wrote:
> Hi,
>
> at the "afterparty" of the last meetup I recall a few people expressing

Speaking of afterparty, last one was quite nice... sure more people
would attend should they have known in advance. What about more
structured way to do it this time? Please, suggest place in
the mailing list and vote whether you would come or not:

http://doodle.com/poll/di887d6qich2dn5a

> interest in attending a talk on Agda. I could do a presentation giving a
> brief introduction. I can imagine the talk spanning 30 to 60 minutes and
> taking place some time in late September or early October. It would be
> ideal if a class could be reserved at FI MUNI with both a blackboard
> (and working markers!) and a projector — I don't know whether students,
> such as myself, can make these reservations?

... I am so looking forwad to the event :-).

M.
--
\f.(\x.f(xx))(\x.f(xx))
(lambda f: (lambda x: lambda: f(x(x)))(lambda x: lambda: f(x(x))))