Skip to content

Printing Effects should support vm_compute and native_compute #8

Description

@JasonGross

Or if there is already support, this should be tested. @herbelin @maximedenes @ppedrot @silene (apparently I can't just tag @coq/vm-native-maintainers from a different repo), any thoughts on how feasible this is?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions