Functional Programming » Курс Функциональное программирование на языке Idris2 - 2025

Домашние задания

h1. 2025 - ВШЭ 3 курс

|_.№|_.ФИО                          |\3. 1. BitNat                     |\2. 2. Functor BTree |

|1|Абдуллин Амир Айдарович	    |-|                        |       | | |

|2|Глотов Алексей Александрович	    |8|                        |       | | |

|3|Долгих Иван Дмитриевич	    |-|                        |       | | |

|4|Дубич Евгений Васильевич	    |6| -3 covering, -1 Integer| 02.25 | | |

|5|Знатнов Егор Павлович	    |8| -ListNat               |       | | |

|6|Катюнин Павел Дмитриевич	    |-|                        |       | |

|7|Качмазов Руслан Александрович    |7|-3 covering             |       | | |

|8|Крюков Андрей Денисович	    |6| -3 covering, -1 deftot |       | | |

|9|Никульшин Павел Андреевич	    |-|                        |       | |

|10|Панкратов Степан Юрьевич	    |8|                        |       | |

|11|Полтанов Святослав Игоревич	    |0|bugs                    |       | | |

|12|Семенцов Николай Сергеевич	    |-|                        |       | |

|13|Федотова Анна Алексеевна	    |-|                        |       | |

|14|Чирков Богдан Ильич	            |7| -3 covering            |       | | |

|15|Щагин Дмитрий Владимирович	    |7| -3 covering            | 02.25 | | |

|16|Коротков Алексей Сергеевич	    |6| -3 covering, -1 deftot |       | | |

|17|Проскурин Дмитрий Александрович |7| -3 covering            |       | | |

|18|Сергеев Дмитрий Александрович   |7| -3 covering            | 02.08 | 8| 03.02 |

|19|Синицын Тимофей Сергеевич	    |0| bugs                   |       |  |       |

|20|Соколов Александр Сергеевич	    |9| +1 show, + tests       |       |  | |

|21|Хритов Михаил Владимирович	    |-|                        |       | |

|22|Щукин Аркадий Александрович	    |7| -3 covering, + tests   |       | | |

|23|Яковлев Иван Александрович      |-|                        |       | |