Feedback from lectures at VU
30 views
Skip to first unread message
Karolis Petrauskas
Jun 4, 2024, 3:21:14 PMJun 4
to idris...@googlegroups.com, Viačeslav Pozdniakov
Hello!
Thank you for developing such a great dependently-typed language. This year, we conducted a course for Vilnius University's BSc students. The language was comprehensible for students and made the main concepts accessible, the tools were mostly fluent, and the book "Type-Driven Development with Idris" was excellent for driving the lectures!
Viačeslav Pozdniakov
Karolis Petrauskas
Thank you for developing such a great dependently-typed language. This year, we conducted a course for Vilnius University's BSc students. The language was comprehensible for students and made the main concepts accessible, the tools were mostly fluent, and the book "Type-Driven Development with Idris" was excellent for driving the lectures!
Viačeslav Pozdniakov
Karolis Petrauskas
Reply all
Reply to author
Forward
0 new messages