diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-10-15 01:00:12 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-10-15 01:00:12 +0200 |
commit | ad9fc55ad8ff6e85cadf45a7c92dab312e4bb2f2 (patch) | |
tree | 67ebd118d317a4274febf574e10c568d149e8cfc /gradlew | |
parent | refactor(interpreter-rete): recipe hashing (diff) | |
download | refinery-ad9fc55ad8ff6e85cadf45a7c92dab312e4bb2f2.tar.gz refinery-ad9fc55ad8ff6e85cadf45a7c92dab312e4bb2f2.tar.zst refinery-ad9fc55ad8ff6e85cadf45a7c92dab312e4bb2f2.zip |
refactor(semantics): simple name creation
Use a simpler data structure for constructing simple names.
Diffstat (limited to 'gradlew')
0 files changed, 0 insertions, 0 deletions