4 lines
93 B
Plaintext
4 lines
93 B
Plaintext
|
|
||
|
|
$forall (Entity courseId course) <- entCourses
|
||
|
|
^{courseSummary (Entity courseId course)}
|