Mark Koch

The Pytket -> Guppy conversion test involving measurement is skipped following #201 since tket2 now retains tket1 measurements with the `LBit` type instead of converting it to bool. We need...

- [x] #155 - [x] #175 - [x] #159 - [ ] #160 - [x] #161 - [ ] #162

Type variables need to be declared via `guppy.type_var(module, "T")`. We should point users to this when they try to use a vanilla Python `TypeVar` instead. See https://github.com/CQCL/guppylang/pull/210#discussion_r1598357444 This requires holding...

Fill in the `raise NotImplemented` sections in `ConstParam`, `ConstArg`, etc. to allow types like `array[qubit, 10]`.

Subclass TypeDef and GuppyType to add a representation for enums Blocked by https://github.com/CQCL/guppylang/issues/155

Parse enum definitions

2

Add a decorator `@guppy.enum` that parses a python class into a `EnumDef`. Come up with syntax for struct enum variants. Maybe something like this: ```python @guppy.enum class MyEnum: Variant1 =...

Closes #133 and closes #134

Following the changes in #105, it would be nice if we could avoid `gupply.load(...)` calls and instead read of the imported Guppy modules from the Python environment. ```python from guppy...