2 Коміти

Автор	SHA1	Повідомлення	Дата
Danila Fedorin	33b1457e91	Add first draft of Idris post	2020-02-29 16:12:12 -08:00
Danila Fedorin	9e399ebe3c	Add initial draft of typesafe interpreter post	2020-02-27 23:09:51 -08:00