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
Linear types #111
Linear types #111
Changes from 51 commits
35b7337
0443c3e
0a96720
1ddaa64
6ab6b30
d8788c7
ceb3d05
ca5d3d5
fe68d3b
aed13ac
d2210fc
a85811c
92d65b0
2757cc1
bea28ca
9667411
336b84f
53efa39
81d6a85
ed18244
44105e1
ae45ca7
75a5de9
9bb678d
3e30291
013022a
c2d534b
43ef657
9a473d3
3bf7953
3d86539
d1184a1
c0bb7eb
d937a5c
33647fd
2a93456
59df6e8
4678b92
326844d
25c9c2e
44b2ca7
27430dd
350520b
03662a3
aa732c2
11f05cc
a106fb5
b027d94
ecf2fb8
b1016c7
d3bcafa
61019f8
499614a
82b0e96
5fa3391
503fd5e
2c7dd29
2b85966
9aa5e43
b9e28d9
9ce6987
7c75fd2
75cc4f2
31b930f
2ce779a
be9bb31
a78ad5a
ca2c75a
1d4815d
194e840
7e93d29
369248b
5cea37b
5eeeed9
b875e16
2b29674
f774a19
6edfe1b
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing