DIKU-EDU/remarks

Empty points in Assignment-leaves to indicate pending corrections

kirkedal opened this issue · 8 comments

@oleks comments?

Getting a list of which correction are missing could give a good overview. I could have used it for the Assignments

oleks commented

Yes, that was actually intended. It's just that #10 hasn't been resolved yet.

oleks commented

The implementation is build on Data.Tree, which results in large trees. Perhaps make an new implementation of show tree that is more compact.

@oleks can you have a look if the new pending-trees also looks nice on Linux. If not I'll update to a more basic char-set.

oleks commented