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|Панкратов Степан Юрьевич	    |10| +tests, +extra         | 02.18 |10|  +tests, +extras |02.24 |

|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|Яковлев Иван Александрович      | -|                        |       | |