georgeee

File index.html contains web viewer for ascii cast with audio. To launch it, just cd dir where script is unpacked and run some simplest http server from it (e.g. webfsd -p 8080 -F works perfectly), then http://localhost:8080/index.html.

File index.html requires asciinema release files (asciinema-player.css and asciinema-player.js) to be downloaded from asciinema player releases.

Note, it won't work with file:// due to CORS.

Alternatively, one can run ./rec.sh play part1 to view cast from CLI but it won't allow you to control playback.

georgeee

Practice 1 (February 13th, 2019)

To be executed after lectures 2, 3.

The main goal of the practice is to train skills on using data types and type classes, understand relation and difference.

Basic data types fun

Define a data type of student's group.