ConceptProd/ConceptPortal-public
1
0
Fork 0
mirror of https://github.com/IRBorisov/ConceptPortal.git synced 2025-06-26 13:00:39 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity
7ab1eb71c1
ConceptPortal-public/rsconcept/frontend/src/utils
History
Ivan 67f2a9f325
Some checks failed
Frontend CI / build (22.x) (push) Waiting to run
Details
Backend CI / build (3.12) (push) Has been cancelled
Details
F: Implement rules from pyconcept0.1.10
2024-09-25 23:09:09 +03:00
..
buildConstants.ts Fix tests and npm update 2024-06-03 00:31:21 +03:00
codemirror.ts M: Small UI layout fixes 2024-09-21 20:24:32 +03:00
constants.ts F: Update pyconcept and implement improved typechecking 2024-09-22 20:25:36 +03:00
labels.ts F: Implement rules from pyconcept0.1.10 2024-09-25 23:09:09 +03:00
selectors.ts Improve GraphUI. Add sizing parameter 2024-04-07 19:22:19 +03:00
utils.ts F: Implement typification checks on substitutions 2024-08-26 22:53:27 +03:00