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

03/10/2024

06:04 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 7dfc3d8f: [ I ] added
Alexey Demakov

03/01/2024

02:03 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 20c2214f: [ G, H ] added
Alexey Demakov

02/29/2024

07:50 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision ca13745e: [ F2_Tree ] data Tree definition added
Alexey Demakov

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

Also available in: Atom