/formal-labs

Formal Languages & Automata labs

Primary LanguageHTML

Formal Labs

This supplement has three purposes:

  1. help me organize what to write on the whiteboard
  2. help you quickly remember previous labs
  3. give you a quick run-down in case you skipped a lab (hopefully not used very often)

Hopefully the third aspect is the least used one.

That being said, I highly encourage you not to skip any labs, and attend the lectures.

Access online at stefann.eu/formal-labs.

Install

Make sure you have

  • ruby — brew install ruby
  • bundle — gem install bundle

Run in root: bundle install

Run

Run in root: bundle exec jekyll serve

Access locally at localhost:4000.