2022-SC2598-000ZZ-2022-SCQ1098250-N0-SC2598: tomorrow at 4.30 pm: beginning of the lectures on Agda

tomorrow at 4.30 pm: beginning of the lectures on Agda

Did you remember to make the first column something unique in your call to get_records? Duplicate value '1' found in column 'activated'.

line 1291 of /lib/dml/mysqli_native_moodle_database.php: call to debugging()
line 1679 of /lib/dml/moodle_database.php: call to mysqli_native_moodle_database->get_records_sql()
line 1752 of /lib/dml/moodle_database.php: call to moodle_database->get_record_sql()
line 1733 of /lib/dml/moodle_database.php: call to moodle_database->get_field_sql()
line 1712 of /lib/dml/moodle_database.php: call to moodle_database->get_field_select()
line 231 of /plagiarism/compilatio/lib.php: call to moodle_database->get_field()
line 48 of /plagiarism/compilatio/classes/compilatio/documentFrame.php: call to compilatio_enabled()
line 93 of /plagiarism/compilatio/lib.php: call to CompilatioDocumentFrame::get_document_frame()
line 48 of /lib/plagiarismlib.php: call to plagiarism_plugin_compilatio->get_links()
line 561 of /mod/forum/classes/local/exporters/post.php: call to plagiarism_get_links()
line 423 of /mod/forum/classes/local/exporters/post.php: call to mod_forum\local\exporters\post->get_message()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\post->get_other_values()
line 155 of /mod/forum/classes/local/exporters/posts.php: call to core\external\exporter->export()
line ? of unknownfile: call to mod_forum\local\exporters\posts->mod_forum\local\exporters\{closure}()
line 157 of /mod/forum/classes/local/exporters/posts.php: call to array_map()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\posts->get_other_values()
line 189 of /mod/forum/classes/local/builders/exported_posts.php: call to core\external\exporter->export()
line 95 of /mod/forum/classes/local/renderers/posts.php: call to mod_forum\local\builders\exported_posts->build()
line 212 of /mod/forum/classes/local/renderers/discussion.php: call to mod_forum\local\renderers\posts->render()
line 343 of /mod/forum/discuss.php: call to mod_forum\local\renderers\discussion->render()

Error: mdb->get_record() found more than one record!

line 1691 of /lib/dml/moodle_database.php: call to debugging()
line 1651 of /lib/dml/moodle_database.php: call to moodle_database->get_record_sql()
line 1630 of /lib/dml/moodle_database.php: call to moodle_database->get_record_select()
line 160 of /plagiarism/compilatio/lib.php: call to moodle_database->get_record()
line 53 of /plagiarism/compilatio/classes/compilatio/documentFrame.php: call to compilatio_cm_use()
line 93 of /plagiarism/compilatio/lib.php: call to CompilatioDocumentFrame::get_document_frame()
line 48 of /lib/plagiarismlib.php: call to plagiarism_plugin_compilatio->get_links()
line 561 of /mod/forum/classes/local/exporters/post.php: call to plagiarism_get_links()
line 423 of /mod/forum/classes/local/exporters/post.php: call to mod_forum\local\exporters\post->get_message()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\post->get_other_values()
line 155 of /mod/forum/classes/local/exporters/posts.php: call to core\external\exporter->export()
line ? of unknownfile: call to mod_forum\local\exporters\posts->mod_forum\local\exporters\{closure}()
line 157 of /mod/forum/classes/local/exporters/posts.php: call to array_map()
line 125 of /lib/classes/external/exporter.php: call to mod_forum\local\exporters\posts->get_other_values()
line 189 of /mod/forum/classes/local/builders/exported_posts.php: call to core\external\exporter->export()
line 95 of /mod/forum/classes/local/renderers/posts.php: call to mod_forum\local\builders\exported_posts->build()
line 212 of /mod/forum/classes/local/renderers/discussion.php: call to mod_forum\local\renderers\posts->render()
line 343 of /mod/forum/discuss.php: call to mod_forum\local\renderers\discussion->render()

Dear students

I confirm that

prof. Blechschmidt will begin his lectures on the proof-assistant Agda

tomorrow at 4.30 pm in 1BC50.

Many thanks for your cooperation!

MEM