use Aux refinement to type members #35

Open

Labels

Milestone

0.5 Type-level refactor

opened

Removing dependent type. Solving the compiler inference problem.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

0.5 Type-level refactor

Relationships

None yet

Development

No branches or pull requests