.. |
AccountReset.hs
|
Change email with user identifier/login
|
2019-11-25 22:38:59 +01:00 |
Achievements.hs
|
Handle tags and description from gonito.yaml
|
2018-10-15 21:15:03 +02:00 |
AchievementUtils.hs
|
show course in Achievements
|
2017-10-03 07:23:52 +02:00 |
Common.hs
|
trying to switch off autocomplete in account settings (not fully possible)
|
2017-09-23 14:51:15 +02:00 |
CreateChallenge.hs
|
Validate challenge when add or update
|
2019-12-13 22:14:00 +01:00 |
Dashboard.hs
|
First version of viewing a specific variant
|
2019-11-30 11:04:52 +01:00 |
Discussion.hs
|
add RSS for a challenge timeline
|
2016-05-03 22:14:55 +02:00 |
EditSubmission.hs
|
Convert a boolean value to a non-maybe
|
2018-11-17 09:49:25 +01:00 |
Evaluate.hs
|
Handle switching to the right commit
|
2019-12-14 11:17:12 +01:00 |
Extract.hs
|
update for LTS 10.10
|
2018-05-19 08:05:24 +02:00 |
ExtraPoints.hs
|
show message when extra points added
|
2018-01-02 19:36:41 +01:00 |
Graph.hs
|
First version of viewing a specific variant
|
2019-11-30 11:04:52 +01:00 |
Home.hs
|
clean up starred
|
2018-01-25 16:43:50 +01:00 |
ListChallenges.hs
|
Challenges can be archived
|
2019-03-20 16:31:08 +01:00 |
MakePublic.hs
|
Prepare application structure for re-evaluation
|
2019-12-14 10:56:07 +01:00 |
Presentation.hs
|
First version of viewing a specific variant
|
2019-11-30 11:04:52 +01:00 |
Query.hs
|
Just score API interface
|
2019-11-30 20:47:19 +01:00 |
Runner.hs
|
Block terminal
|
2018-11-17 10:07:59 +01:00 |
Score.hs
|
Add course summaries
|
2019-06-15 12:21:41 +02:00 |
Shared.hs
|
Refactor towards changing evaluation records
|
2019-12-14 11:58:52 +01:00 |
ShowChallenge.hs
|
Refactor towards changing evaluation records
|
2019-12-14 11:58:52 +01:00 |
SubmissionView.hs
|
Show downstream submissions
|
2018-11-17 13:49:44 +01:00 |
Tables.hs
|
Refactor towards changing evaluation records
|
2019-12-14 11:58:52 +01:00 |
Tags.hs
|
introducint 2 modes for tags
|
2018-06-27 13:32:45 +02:00 |
TagUtils.hs
|
Description is clickable
|
2018-11-03 21:37:44 +01:00 |
YourAccount.hs
|
improve creating challenges
|
2018-09-01 12:01:35 +02:00 |