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
Incorporate quantifier example #38
base: main
Are you sure you want to change the base?
Incorporate quantifier example #38
Changes from 250 commits
ed41f38
14a07e5
7903746
989afa2
db7118a
e8abbe6
16a89a5
7776a7f
04283bb
d2f1936
e2f7e7f
f44b072
dd18a14
dd8f9f5
d0f2a75
fdab0f4
93e2bfe
ea168ea
40a06cd
e61e905
ddb57f7
fe1cffd
52e70a7
063882f
562c7e0
61c3ae7
9a9fb56
ed5f62b
ee74dd1
009baef
68ba5d0
01063e9
f3ee6cd
6481ba7
e8968fb
051016a
16bef1e
7a8e1da
4d336fb
7dedfd3
8f354d1
0f61716
e58c277
c4f4773
dc4d8d9
9d19034
503b91f
76d3df2
8ac6036
8064fe1
70e5616
f817d95
19b14e8
632489f
61fc269
8e10148
a7b961b
f68deb5
0e1eacb
89966ba
fcac8d7
e4f09f4
a5a0d88
f099459
0e917dd
2be6c3a
68f799d
ee670f8
cb775d0
570f91c
9d78ea8
be5f42d
d5ea225
ada092c
f88d766
ca2ec67
3264b97
8e688a2
6cd588d
20e90bc
f81c23e
6e847dd
ab1eead
be39c8c
bada161
a52013d
1df9c50
8ec4e7e
cf62af1
b59c3ee
3099416
5a62458
720ba07
5eabd0b
ac25c5b
5bc1ca2
0fc132b
8e60ada
3c07573
a151665
bc0f9b4
0e6623d
db19d07
0c56e06
7ea182f
662c5bc
5557404
a5697eb
e58b3d9
d7b6e6e
ffaf43d
5fc0038
cda6fef
4dfa9da
72df8b0
dbf7bec
a6881cc
1d10c5e
1c1befc
922de09
95585ba
8b61e53
62e56b4
e02d2b9
35db091
f69dfbc
70ce61f
1b56466
2fb4863
cb81ec6
f39d942
882b4c0
1cf342f
5de9269
9652b39
9f3fc61
2aabc50
2884ac6
b9aaffa
8f839a1
dd3f6db
4da6707
7d99289
20d417d
b7d419f
0c72c78
8d48063
5c732d8
4c194c8
c060cde
e1b0181
d451381
37a41ef
c380015
82c3cde
762b487
f87d953
0e7fcf7
726ef9d
1d2f2e4
fe13965
cbcc256
018f5cc
0986e1c
d5888d9
5e4e34e
af0d87b
5a216be
f1b33fc
271bcb9
3f5064f
05a6df7
c46053e
5486ac1
19a8ee6
70a00c8
4e8e5b3
622725b
fbee72b
6704077
6dfea15
3c01e02
2c2af64
9620688
c3de1fa
cd2938c
382ab6d
7e30957
f306b76
a617072
9728365
6998fd5
8a69003
25421df
94d86a8
9b715f4
c755f2b
7c75a6d
87e5dc2
3dc97e0
18a8ae1
479e2ee
8012b2f
cc337d7
eb89e66
6023cdc
36620ab
56cf670
a8415ba
41abd08
11bbf7c
9f7a17f
26e4ca1
2955a1b
9cbe92e
5aed9d3
1ccec6b
c23412c
ee9014f
ea3d45a
4fbc8a2
7cdeab5
5f0420d
9b4d2d0
f386b86
e5e1c69
dad22d7
1357ead
8338c36
1897555
f8a3112
f57cdec
ee0814c
16c7a79
afbc5de
cd65691
4cb3feb
36850ec
0702a8e
e14367b
1203109
45fa077
5475df3
50f6057
1344441
9e6ef27
1859344
d1859d2
f444a4b
0ca5463
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
This file was deleted.
This file was deleted.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.