[Мини-курс]: Программирование. Idris. Лекция 8
12 years ago 01:03:41 191
7 years ago 01:04:05 40
![[Мини-курс]: Программирование. Idris. Лекция 1](https://sun9-29.userapi.com/jk2ln4XoPP_Yvdrshu5bUdf4skPMZpIhIhLj3A/Q4MYOlXoyu0.jpg)
7 years ago 01:20:34 15
![[Мини-курс]: Программирование. Idris. Лекция 3](https://sun9-50.userapi.com/pOna3BunJOw2iZa1jErTn8NN-9056MihXnYMlA/xvHvSpfApxU.jpg)
10 years ago 01:19:04 6
7 years ago 01:26:15 8
12 years ago 01:31:06 138
7 years ago 01:10:47 1
![[Мини-курс]: Программирование. Idris. Лекция 9](https://sun9-34.userapi.com/wdUHp1PbNhRY7CJlou0Gx_ebhFgY1hD4DOB8uw/BWLw7G6bWiA.jpg)
7 years ago 01:21:22 1
![[Мини-курс]: Программирование. Idris. Лекция 7](https://sun9-33.userapi.com/jaIC1Ua1wBJck4TCO3dHpA5JNeiY1heUdjgfig/Kq--H_hG45k.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:15:57 2
![[Мини-курс]: Программирование. Idris. Лекция 2](https://sun9-33.userapi.com/MKRQFjkqiJGKB3EasrXE4ARI7ZWeaN7C1wZRyw/4z13iajVRGA.jpg)
7 years ago 01:19:20 1
![[Мини-курс]: Программирование. Idris. Лекция 8](https://sun9-51.userapi.com/cElc-1m_1LD98E94acBpTc60KRpFCyU7xXSFwg/sFpVfpuNb3U.jpg)
7 years ago 00:57:25 1
![[Мини-курс]: Программирование. Idris. Лекция 10](https://sun9-42.userapi.com/qJRT5U07NUmXlSBeZe240fXvTsSSs21fcx9QGQ/aRYH3JCdTZM.jpg)
3 years ago 00:01:18 6
12 years ago 01:20:17 11
12 years ago 01:12:08 16
7 years ago 00:01:31 19
5 years ago 00:42:42 1
5 years ago 00:38:50 1
5 years ago 00:51:13 5
10 years ago 00:01:52 168
6 years ago 01:43:22 5
5 years ago 00:21:02 1
