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

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

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

|_.№|_.ФИО|\2. 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|Полтанов Святослав Игоревич	|bugs| | | |

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

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

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

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

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

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

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

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

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

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

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

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