ConceptProd/ConceptCore
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptCore.git synced 2025-11-15 17:21:39 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
33 Commits 1 Branch 0 Tags 1.3 MiB
6860706e7a
Commit Graph

3 Commits

Author SHA1 Message Date
Ivan
6860706e7a R: Change check-constituenta to use string representation of CstType 2024-09-22 19:47:55 +03:00
Ivan
c8578447f3 F: Improve typechecking API for CstTypes expectations 2024-09-22 18:54:19 +03:00
IRBorisov
9c09995d17 Initial commit 2024-04-15 22:16:14 +03:00