Рейтинг: 5 из 5 звезд
5/5
Загрузка
EB![]()
author
Edwin Brady
Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.