Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New design for catlog traits #139

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

New design for catlog traits #139

wants to merge 1 commit into from

Conversation

olynch
Copy link
Collaborator

@olynch olynch commented Aug 30, 2024

Default TODO list

  • Are all notable changes added to the changelog in dev-docs/?
  • Are there any manual checks that you did while preparing this release that could be automated and become part of the CI?
  • Are any relevant issues to the PR mentioned so that they will be automatically closed when the PR merges?

@github-actions GitHub Actions
Copy link

github-actions bot commented Aug 30, 2024 •
edited
Loading

Preview url: https://66d256b69886f06d4a2f8bfe--catcolab.netlify.app

@olynch olynch force-pushed the compositional-theories branch from 468929f to d4cd5b2 Compare August 30, 2024 23:31
@epatters epatters added the core Rust core for categorical logic and general computation label Aug 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
core Rust core for categorical logic and general computation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@olynch @epatters