diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2024-08-03 13:10:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-08-03 13:10:29 +0200 |
commit | 5af12117129b266ed356d9609f6476544a30b67a (patch) | |
tree | 91a77961c3b26d1aa7c7bf8b8445477e882ce383 /language-web/src/main | |
parent | Revert "refactor(docs): no logo in header on small screens" (diff) | |
parent | feat(semantics): base predicate serialization (diff) | |
download | refinery-5af12117129b266ed356d9609f6476544a30b67a.tar.gz refinery-5af12117129b266ed356d9609f6476544a30b67a.tar.zst refinery-5af12117129b266ed356d9609f6476544a30b67a.zip |
Merge pull request #63 from kris7t/base-preds
Base predicates
Diffstat (limited to 'language-web/src/main')
0 files changed, 0 insertions, 0 deletions