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.

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

[BitSail]Refactor Typesystem. #43

Merged
merged 24 commits into from
Oct 31, 2022
Merged

[BitSail]Refactor Typesystem. #43

merged 24 commits into from
Oct 31, 2022

Conversation

hk-lrzy
Copy link
Collaborator

@hk-lrzy hk-lrzy commented Oct 25, 2022

Signed-off-by:

Pre-Checklist

Note: Please complete ALL items in the following checklist.

  • I have read through the CONTRIBUTING.md documentation.
  • My code has the necessary comments and documentation (if needed).
  • I have added relevant tests.

Purpose

Some description about what this PR wants to do.

Approaches

Some description about how this PR achives the purpose.

Related Issues

e.g. Close #796

New Behavior (screenshots if needed)

N/A

Copy link
Collaborator

@garyli1019 garyli1019 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@hk-lrzy hk-lrzy merged commit cd174d7 into master Oct 31, 2022
@garyli1019 garyli1019 deleted the bitsail-type-system branch November 1, 2022 02:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants