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
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
- 12:38 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 6e45a217: [ D1 PolymorphismParametric ] small addition
02/03/2024
- 03:19 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision fceffcf5 (noprelude): initial commit
- 03:15 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 4f0fa01c: D added
01/27/2024
- 10:22 PM Курс Функциональное программирование на языке Idris2 - 2024 Revision 570700a1: C added
Also available in: Atom