-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Feature: predefined structure relations
new_featureRequest for a new featureRequest for a new featureStatus: Open.#30 In timoniq/laurelang;Bug: type-constraint not applied
bugSomething isn't workingSomething isn't workingStatus: Open.#29 In timoniq/laurelang;Feature: predicate constructors
new_featureRequest for a new featureRequest for a new featureStatus: Open.#28 In timoniq/laurelang;Feature: fold predicate
new_featureRequest for a new featureRequest for a new featureStatus: Open.#27 In timoniq/laurelang;Feature: predicate determinators & Goal type
new_featureRequest for a new featureRequest for a new featureStatus: Open.#26 In timoniq/laurelang;- Status: Open.#25 In timoniq/laurelang;
Feature: inplace bound structure predicate argument declaration
new_featureRequest for a new featureRequest for a new featureStatus: Open.#23 In timoniq/laurelang;Feature: structure generics
new_featureRequest for a new featureRequest for a new featureStatus: Open.#22 In timoniq/laurelang;Feature: smart context query reorderer
new_featureRequest for a new featureRequest for a new featureStatus: Open.#19 In timoniq/laurelang;Feature: callable in declaration (auto ID) and for each
new_featureRequest for a new featureRequest for a new featureStatus: Open.#18 In timoniq/laurelang;Feature: matrix and union
new_featureRequest for a new featureRequest for a new featureStatus: Open.#17 In timoniq/laurelang;