You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Andy Meneely 498a8224e7 samples: fix to be more consistent 8 years ago
..
.gitignore samples: un-submoduling 9 years ago
_draw_shapes.rb more tests for circle arc 9 years ago
_proofs.rb samples: fix to be more consistent 8 years ago
proof_poker_00_expected.png new methods: safe_zone and cut_zone 8 years ago
proof_tiny_00_expected.png samples: fix to be more consistent 8 years ago
shape_00_expected.png more tests for circle arc 9 years ago