мини лекция про Амазонку
5 years ago 00:04:24 39
5 years ago 00:05:01 44
5 years ago 00:05:22 17
5 years ago 00:04:54 48
5 years ago 00:04:43 39
4 years ago 00:22:05 21
7 years ago 01:04:05 4
![[Мини-курс]: Программирование. Idris. Лекция 1](https://sun9-29.userapi.com/jk2ln4XoPP_Yvdrshu5bUdf4skPMZpIhIhLj3A/6hsj5n5ILkY.jpg)
12 years ago 00:15:02 11
8 years ago 00:07:07 12
7 years ago 01:15:57 2
![[Мини-курс]: Программирование. Idris. Лекция 2](https://sun9-33.userapi.com/MKRQFjkqiJGKB3EasrXE4ARI7ZWeaN7C1wZRyw/4z13iajVRGA.jpg)
4 years ago 00:25:24 29
5 years ago 00:06:33 84
2 years ago 00:30:17 406
5 years ago 00:05:25 19
2 years ago 00:07:54 69
5 years ago 00:25:22 67
7 years ago 00:49:48 94
7 years ago 01:20:34 13
![[Мини-курс]: Программирование. Idris. Лекция 3](https://sun9-50.userapi.com/pOna3BunJOw2iZa1jErTn8NN-9056MihXnYMlA/erxB7UEd4fc.jpg)
7 years ago 00:57:25 1
![[Мини-курс]: Программирование. Idris. Лекция 10](https://sun9-42.userapi.com/qJRT5U07NUmXlSBeZe240fXvTsSSs21fcx9QGQ/aRYH3JCdTZM.jpg)
7 years ago 01:20:25 1
![[Мини-курс]: Программирование. Idris. Лекция 5](https://sun9-31.userapi.com/puaOI-oOFWgkX7iG2kXCPNS-NvcJnCcTl_k9_Q/5qMibaXCrSM.jpg)
7 years ago 01:17:44 1
![[Мини-курс]: Программирование. Idris. Лекция 4](https://sun9-20.userapi.com/HWWwTmsMW5z5fsu2SMl_Fh9X1ok_9GxZ7lE95g/gKDmXU9xZK4.jpg)
7 years ago 01:18:28 1
![[Мини-курс]: Программирование. Idris. Лекция 6](https://sun9-27.userapi.com/mYMVspx3g8rmcnqeQ98xz3W5oPj-gJ8OozRCVQ/ca4UG1ZUJsk.jpg)
7 years ago 01:19:20 1
![[Мини-курс]: Программирование. Idris. Лекция 8](https://sun9-51.userapi.com/cElc-1m_1LD98E94acBpTc60KRpFCyU7xXSFwg/sFpVfpuNb3U.jpg)
8 years ago 01:25:27 2
