-
Notifications
You must be signed in to change notification settings - Fork 10
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#158 In anoma/geb;
Error node needs extension from
MaybetoEither EenhancementNew feature or requestNew feature or requestStatus: Open.#133 In anoma/geb;- Status: Open.#132 In anoma/geb;
Type for direct access to field elements
enhancementNew feature or requestNew feature or requestStatus: Open.#122 In anoma/geb;Type error for uncomposable morphisms
enhancementNew feature or requestNew feature or requestStatus: Open.#121 In anoma/geb;Pasteable objects
enhancementNew feature or requestNew feature or requestStatus: Open.#119 In anoma/geb;bitccould expose an intrinsic modulus to Geb (and Geb could expose it to clients)enhancementNew feature or requestNew feature or requestStatus: Open.#118 In anoma/geb;bitccould be extended to support constraintsenhancementNew feature or requestNew feature or requestStatus: Open.#117 In anoma/geb;bitccould be extended to support modular arithmeticenhancementNew feature or requestNew feature or requestStatus: Open.#116 In anoma/geb;Geb to Poly Compilation Bug
bugSomething isn't workingSomething isn't workinginternal-onlyBugs that only affect Geb language developers, not Geb clients (such as Juvix) or usersBugs that only affect Geb language developers, not Geb clients (such as Juvix) or usersStatus: Open.#111 In anoma/geb;Changing Bitc object structure to a bit-vector or vector
enhancementNew feature or requestNew feature or requestStatus: Open.#110 In anoma/geb;- Status: Open.#106 In anoma/geb;