andrew blinn

how about something like this? (we should also just stick those icons in the nut menu)

k i'm good to restyle if you want. when this is current with dev i'll branch off and do the restyling, then PR against this

wat. is this a regression?

thought about this one a bit in my last refactor. should be reasonably straightforward. essentially you'll want to modify - ExerciseMode.impl_validation_view, which calls Cell.test_report_footer_view - ExerciseMode.impl_grading_view The former currently just...

perhaps (though not necessarily) a point in favor of combining dhexp and uexp. we should make a list of the issues that touch these data structures, as there are a...

are you seeing this locally? on the build server i see:

actually I feel this error could be tightened up, or at least capitalization could be more consistent: "Arity mismatched partial application: expected 2 arguments, got 1" 'partial application' is redundant;...

@cyrus- syntax notes / questions: 1. Is the only reason for a separate 'module' definition form to avoid ambiguity with a let which uses a nullary constructor as its pattern?...

after messing around a bit i think it'd be possible (with several days of work) to get syntax in the screenshot to work (without the sort errors currently displayed). of...

@cyrus- to start maybe have a short and long version of messages, with the short version having some affordance at the end e.g. ellipses indicating there's more. clicking on the...