Lecture Notes

You can download lecture notes here.

• 2026/03/02 赵海燕：

  Introduction [Slides]

  [Assignment]
  
• 2026/03/09 王迪：

  MoonBit [Slides]