-
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
Support deprecated
new 'TypArg[n]syntax for array initializationbugSomething isn't workingSomething isn't workingStatus: Open.#15 In LambdaQs/arrays;Consider adding sum types to represent types like
Pauli,Result, etcenhancementNew feature or requestNew feature or requestStatus: Open.#12 In LambdaQs/arrays;How to deal with qubits when they are function/operation parameters
questionFurther information is requestedFurther information is requestedStatus: Open.#10 In LambdaQs/arrays;How to generate keys for Qref type?
questionFurther information is requestedFurther information is requestedStatus: Open.#8 In LambdaQs/arrays;Need more types in lambda-qs grammar
enhancementNew feature or requestNew feature or requestStatus: Open.#7 In LambdaQs/arrays;Ensure custom tokens are parsed correctly
triageFurther triage neededFurther triage neededStatus: Open.#6 In LambdaQs/arrays;Provide translation from Q# to λ-Q#
enhancementNew feature or requestNew feature or requestStatus: Open.#5 In LambdaQs/arrays;Setup infrastructure for translation to boogie
enhancementNew feature or requestNew feature or requestStatus: Open.#1 In LambdaQs/arrays;