We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 92dbc9c commit f6b0bd0Copy full SHA for f6b0bd0
content/_index.md
@@ -44,7 +44,7 @@ sections:
44
45
### Reading Groups
46
We currently run two reading groups. You may contact [Daniel](mailto:dws.lim@nus.edu.sg) if you are interested to join.
47
- 1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Tuesday 1-2pm @ COM3 MR21)
+ 1. [Automata](https://www.mimuw.edu.pl/~bojan/paper/automata-toolbox-book) (Wednesday 1-2pm @ COM3 MR21)
48
2. Logic/Type Theory (Monday 5-6pm @ COM3 MR25)
49
50
# - block: markdown
0 commit comments