Koterpillar

Haven't touched C++ for a long time

When did it absorb Agda?

test_graph.cpp:40:61: error: no match for 'operator<=' (operand types are 'Catch::STATIC_ASSERT_Expression_Too_Complex_Please_Rewrite_As_Binary_Comparison' and 'int')