-
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
- Status: Open.#75 In Charles-Johnson/zia_programming;
- Status: Open.#72 In Charles-Johnson/zia_programming;
- Status: Open.#62 In Charles-Johnson/zia_programming;
Alternative to REPL for UI
enhancementNew feature or requestNew feature or requestStatus: Open.#61 In Charles-Johnson/zia_programming;- Status: Open.#58 In Charles-Johnson/zia_programming;
Restructure ContextCache so reduction dependencies are explicit
refactorcode needs to be restructured to make new features easier to implementcode needs to be restructured to make new features easier to implementStatus: Open.#54 In Charles-Johnson/zia_programming;Refactor NewConceptDelta enum to dynamic trait object
refactorcode needs to be restructured to make new features easier to implementcode needs to be restructured to make new features easier to implementStatus: Open.#47 In Charles-Johnson/zia_programming;forgetconceptenhancementNew feature or requestNew feature or requestStatus: Open.#42 In Charles-Johnson/zia_programming;Infer from implication with variable condition correctly
bugSomething isn't workingSomething isn't workingStatus: Open.#40 In Charles-Johnson/zia_programming;Context Transactions
enhancementNew feature or requestNew feature or requestStatus: Open.#39 In Charles-Johnson/zia_programming;Test: Group Theory
questionFurther information is requestedFurther information is requestedStatus: Open.#37 In Charles-Johnson/zia_programming;Implement recursive reduction using Zia
refactorcode needs to be restructured to make new features easier to implementcode needs to be restructured to make new features easier to implementStatus: Open.#36 In Charles-Johnson/zia_programming;