8000 Type error for uncomposable morphisms · Issue #121 · anoma/geb · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Type error for uncomposable morphisms #121
New issue
New issue
Open
Open
Type error for uncomposable morphisms#121
Labels
enhancementNew feature or request
@agureev

Description

@agureev
agureev
opened on May 8, 2023

We need to upgrade the comp functionality so that it does not allow to compose things with non-matching (co)domains and tell us exactly where the error occurs. This will make troubleshooting much easier.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0