Hans-J. Schmid (16) [Avatar] Offline
#1
Thank you! Now around 500 pages of Idris programming.

Just watched Edwin Brady's presentation in Cadiz the other day. Always interesting and eye-opening: https://www.youtube.com/watch?v=IQO9N0Y8tcM