Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
ocap discipline aided by static typing #24
base: master
Are you sure you want to change the base?
ocap discipline aided by static typing #24
Changes from all commits
76eaed3
676dc70
7e0c2d9
a7e8cc0
49eb9eb
dafbb5d
be5b212
b657d13
ed67148
93dcccd
583b758
4427e05
06ff4cb
aa5281c
32160de
78fa349
26d3597
1c8d9b0
3c60d52
e40cb5b
12dc43c
0b61347
ee53b09
a4c8c2e
db99f02
444094a
b079ac7
75c2b84
0ba5835
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing