ConceptProd/ConceptCore
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptCore.git synced 2025-06-26 09:10:37 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
38 Commits 1 Branch 0 Tags 1.3 MiB
main
Commit Graph

4 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
97614cc3bf Fix clang-tidy warnings 2024-05-06 18:13:24 +03:00
IRBorisov
9c09995d17 Initial commit 2024-04-15 22:16:14 +03:00