General

Profile

Alexey Demakov

  • Login: demakov
  • Registered on: 11/10/2009
  • Last connection: 02/26/2024

Issues

open closed Total
Assigned issues 19 98 117
Reported issues 23 160 183

Projects

Project Roles Registered on
Functional Programming Manager, Developer 02/03/2020
Курс Функциональное программирование на языке Idris2 - 2024 Manager, Developer, Product Owner 01/19/2024
Minergy Manager, Developer 07/21/2020
Local Support Project Manager 11/24/2009
TSMT: Tools for bounded E-Matching Developer 06/26/2020
тест2 Manager 11/27/2013

Activity

02/18/2024

02:42 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 03670d5c: [ F2_Tree ] added
Alexey Demakov

02/17/2024

01:47 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 2419ab31: [ F1_Functor ] added
Alexey Demakov

02/10/2024

12:39 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision ac0810a7: E added
Alexey Demakov
12:38 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 6e45a217: [ D1 PolymorphismParametric ] small addition
Alexey Demakov

02/03/2024

03:19 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision fceffcf5 (noprelude): initial commit
Alexey Demakov
03:15 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 4f0fa01c: D added
Alexey Demakov

01/27/2024

10:22 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 570700a1: C added
Alexey Demakov

01/20/2024

08:41 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 44ff8c72: A, B added
Alexey Demakov

04/04/2022

10:40 AM Local Support Project Redmine 5.0.0

Уважаемые коллеги!
Redmine обновился до версии 5.0.0.
Просьба сообщать об обнаруженных проблемах.
Alexey Demakov

01/20/2022

11:21 AM Local Support Project Redmine 4.2.3

Уважаемые коллеги!
Redmine обновился до версии 4.2.3.
Просьба сообщать об обнаруженных проблемах.
Alexey Demakov

Also available in: Atom