Remaining points

[Jay McCarthy]

This table shows the number of exercises of each star per chapter. The
final two numbers are the total points for the chapter and the total
points so far (after that chapter).

Basics: 1 ( 8) 2 (10) 3 ( 1) 4 ( 2) 5 ( 1) 433 433
Lists: 1 ( 5) 2 ( 5) 3 ( 6) 4 ( 1) 5 ( 0) 180 613
Poly: 1 ( 8) 2 (15) 3 (12) 4 ( 1) 5 ( 0) 323 936
Gen: 1 ( 0) 2 ( 0) 3 ( 4) 4 ( 1) 5 ( 0) 120 1056
Prop: 1 (18) 2 (10) 3 ( 6) 4 ( 4) 5 ( 1) 638 1694
Logic: 1 (11) 2 (16) 3 ( 6) 4 ( 3) 5 ( 2) 841 2535
Imp: 1 ( 8) 2 ( 2) 3 ( 8) 4 ( 5) 5 ( 0) 438 2973
ImpCEvalFun: 1 ( 0) 2 ( 2) 3 ( 1) 4 ( 1) 5 ( 0) 85 3058
Extraction: 1 ( 0) 2 ( 0) 3 ( 0) 4 ( 0) 5 ( 0) 0 3058
Equiv: 1 ( 4) 2 (13) 3 ( 9) 4 ( 4) 5 ( 1) 684 3742
Hoare: 1 ( 4) 2 ( 7) 3 (10) 4 ( 4) 5 ( 0) 429 4171
Rel: 1 ( 2) 2 ( 9) 3 ( 1) 4 ( 0) 5 ( 0) 62 4233
HoareAsLogic: 1 ( 0) 2 ( 1) 3 ( 0) 4 ( 0) 5 ( 0) 5 4238
Smallstep: 1 ( 3) 2 ( 7) 3 (12) 4 ( 1) 5 ( 0) 278 4516
Types: 1 ( 5) 2 (11) 3 ( 7) 4 ( 1) 5 ( 0) 225 4741
Stlc: 1 ( 3) 2 (13) 3 ( 3) 4 ( 1) 5 ( 0) 173 4914
MoreStlc: 1 ( 2) 2 ( 0) 3 ( 0) 4 ( 1) 5 ( 0) 62 4976

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93

[Jared Forsyth]

awesome thanks!