Agda Implementors’ Meeting XLIII — 19–24 October, Rzeszów, Poland — free to attend, beginners welcome!

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

First cited

—

Most recent

—

Rank this month

not ranked

External links

1

Words captured

261