This commit is contained in:
SJost 2019-03-14 20:19:42 +01:00
parent 4c685d6710
commit 7ca5b87409

View File

@ -4,7 +4,7 @@
Term json
name TermIdentifier -- unTermKey :: TermId -> TermIdentifier
start Day -- TermKey :: TermIdentifier -> TermId
end Dayl
end Day
holidays [Day] -- LMU holidays, for display in timetables
lectureStart Day -- lectures usually start/end later/earlier than the actual term,
lectureEnd Day -- used to generate warnings for lecturers creating unusual courses