Our Agda Implementors Meeting finished today with a lovely walk in Gower.
The speaker for this week's seminar is Patrick Uftring from the University of Munich. He will talk about Computable transformations of T...
No comments:
Post a Comment