Alexey Demakov
- Login: demakov
- Registered on: 11/10/2009
- Last connection: 07/11/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
06/03/2024
- 12:28 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision b920f6d8: [ M, N ] added
- 12:27 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision a1433b50: [ L1_Properties ] funExt0 name qualified
05/02/2024
- 05:44 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 28d50095: [ K, L ] added
04/22/2024
- 07:26 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 5b255e20: [ J ] added
03/10/2024
- 06:04 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 7dfc3d8f: [ I ] added
03/01/2024
- 02:03 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 20c2214f: [ G, H ] added
02/29/2024
- 07:50 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision ca13745e: [ F2_Tree ] data Tree definition added
02/18/2024
- 02:42 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 03670d5c: [ F2_Tree ] added
02/17/2024
- 01:47 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 2419ab31: [ F1_Functor ] added
02/10/2024
- 12:39 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision ac0810a7: E added
Also available in: Atom