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.
12/16/2022
- 01:25 PM Курс Функциональное программирование на языке Idris2 Revision 56d34083: [ course.ipkg ] added G-modules and basedependency
- 01:24 PM Курс Функциональное программирование на языке Idris2 Revision e197739f: [ G4_Monad ] initial commit
- 01:21 PM Курс Функциональное программирование на языке Idris2 Revision 86ac3725: [ G3_Traversable ] initial commit
- 01:20 PM Курс Функциональное программирование на языке Idris2 Revision 29d14256: [ G2_Foldable ] initial commit
- 01:16 PM Курс Функциональное программирование на языке Idris2 Revision e07ea12b: [ G1_Computation ] initial commit
- 01:14 PM Курс Функциональное программирование на языке Idris2 Revision 02bb421e: [ F1_Functor ] small fixes
12/02/2022
- 10:47 AM Курс Функциональное программирование на языке Idris2 Revision 67b6655f: [ F1_Functor ] added
11/24/2022
- 10:22 PM Курс Функциональное программирование на языке Idris2 Revision 49736cb8: [E0_Example_MonoidStackMachine ] let -> where
11/18/2022
- 06:32 PM Курс Функциональное программирование на языке Idris2 Revision 0475753d: [ ipkg ] module names fixed
Also available in: Atom