Сподели Знаење #4-2020: Логика, математика и софтвер
Овој четврток (23-07-2020г.) ќе имаме „Сподели Знаење“, четврто годинава. Боро Ситниковски, кој е автор на Gentle Introduction to Dependent Types with Idris и Gentle Introduction to Blockchain with Lisp, по …