General

Profile

Alexey Demakov

  • Login: demakov
  • Registered on: 11/10/2009
  • Last connection: 01/31/2023

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 Manager, Developer 11/17/2022
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

01/18/2023

09:36 PM Курс Функциональное программирование на языке Idris2 Revision 2726796e: [ README.md ] Updating of package collection and pack itself described.
Alexey Demakov

12/16/2022

01:25 PM Курс Функциональное программирование на языке Idris2 Revision 56d34083: [ course.ipkg ] added G-modules and basedependency
Alexey Demakov
01:24 PM Курс Функциональное программирование на языке Idris2 Revision e197739f: [ G4_Monad ] initial commit
Alexey Demakov
01:21 PM Курс Функциональное программирование на языке Idris2 Revision 86ac3725: [ G3_Traversable ] initial commit
Alexey Demakov
01:20 PM Курс Функциональное программирование на языке Idris2 Revision 29d14256: [ G2_Foldable ] initial commit
Alexey Demakov
01:16 PM Курс Функциональное программирование на языке Idris2 Revision e07ea12b: [ G1_Computation ] initial commit
Alexey Demakov
01:14 PM Курс Функциональное программирование на языке Idris2 Revision 02bb421e: [ F1_Functor ] small fixes
Alexey Demakov

12/02/2022

10:47 AM Курс Функциональное программирование на языке Idris2 Revision 67b6655f: [ F1_Functor ] added
Alexey Demakov

11/24/2022

10:22 PM Курс Функциональное программирование на языке Idris2 Revision 49736cb8: [E0_Example_MonoidStackMachine ] let -> where
Alexey Demakov

11/18/2022

06:32 PM Курс Функциональное программирование на языке Idris2 Revision 0475753d: [ ipkg ] module names fixed
Alexey Demakov

Also available in: Atom