butterfill / love-logic-server Goto Github PK

Student feedback: "Would love for the proof-writing exercises to make alignment easier (hitting tab could automatically put one | and a space instead of having to type it out each time, could preserve indentation when going to newline like most programming software does). Maybe have hotkeys to type the logic symbols (arrow, not, contradiction, etc) as it makes the proofs look a lot cleaner than when they're written as words."

requested by HL

Student feedback: " No way to complete the visual counterexamples which require resizing/reshaping on iPad. "

Should be able to show only exercises that need grading.
Should show only the most recent attempt by default.
(Must make corresponding change to exercisesToGrade : it should only include exercises where the most recent attempt is an issue.)

It must be possible to review, and remove, GradedAnswers (canned feedback) by exercise.

Tutors should be able to see exercises to grade for a specific exercise set and lecture

Create a tool for creating and editing exercise sets

Individual students can opt to allow peer grading.
Students can offer to grade exercises from a pool, anonymously.
Peer grades create GradedAnswers marked 'to review' (ie. cannot be reused until reviewed).

The guides provide generic help by exercise type (e.g. how to write proofs).

after submitting an exercise, a 'SHOW ME AN ANSWER' button appears (/proof and /create)

requested by Hemdat

symbols; neat spacing

(This will allow users to distinguish exercises created by students.)

student feedback: "Truth tables have too much cell paddings, they take like 5x the vertical space they need to. Having to type T or F for each is also pretty unnecessary when they could just be tick boxes or something similar. "

Student feedback: "Letting the squares have changeable colours and set unambiguous faces. E.g replacing frowning with triangular nose or something "

requested by HL

(This is a comment from the 2016 feedback survey)

Student feedback: "Perhaps number the questions within the sections so that it is easier to track which ones need to be answering again. When going through the questions in a group this would be particular useful as it would be easier to pinpoint the question that I need help on."

Also requested by tutors.

Experienced tutors can review all GradedAnswers when marking a particular exercise.
There is a pool of GradedAnswers marked for approved
These are not used until approved.
Experienced tutors are able to see a list of GradedAnswers, and can review and approve these (working down a list).

This allows you to do 2015, 2016 etc

requested by HL

Filter to do exercises.

This might require either (a) modify SubmittedExercise so there is only one per user per exerciseId (big change); or (b) mark one SubmittedExercise as most recent (when submitted, removing the property from all others for that user and exerciseId)

requested by Hemdat

exerciseId is the URL and specifies what the exercise is.
Because (a) mongodb indexes exerciseId and will only index up to 1024 characters; and (b) exerciseId is URIEncoded (meaning spaces take up %20 three characters), the max exerciseId is too short for some TorF exercises (and perhaps some /ex/create too).

requested by tutors

(Useful if you want to distinguish ph126 2015-6 from 2016-7)

Feedback comment: "Navigating the exercises front page could be easier (for later exercises one currently has to scroll down the massive list of all lecture content) - add links at the top to jump straight to a specific lecture's exercises!"

Only when tutors have graded 200 exercises are their grades canned as GradedAnswers.
Only when tutors have graded 2000 exercises can they

Users cannot type email address. They should be able to pick their seminar tutor's email from a list.