Учим язык программирования Idris


Также посмотрите следующие материалы:

Language Heroes Talks: лекция по языкам прогр...

Дворецкий Jarvis у себя в пк