Cape Town, South Africa

Stream: Geographic locality

[ohhaimark]

lekker

[Johan Commelin]

baie lekker

[Kabelo Moiloa]

[is_lekker Lean], i'm a uct student btw would love to meet any of y'all's.

[Julian Berman]

A typeclass, so there's only one way Lean is lekker -- though in ZA they say kak lekker right? Coq zulip in shambles.

[Kabelo Moiloa]

Hey there people, I'm stuck in Cape Town 'til the 13th of December. Does anyone want to meet at UCT to hack/pair program on some Lean stuff together? I might get one other student there as well.

[Dean Young]

@Kabelo Moiloa you might try approaching George Janelidze

[Kabelo Moiloa]

E. Dean Young said:

Kabelo Moiloa you might try approaching George Janelidze

He doesn't like computers so is probably uninterested (I've asked him on related topics before).

[Dean Young]

Oh huh that's too bad. Sorry I dropped the thread here.