This repository contains the source code from the first lecture:
.
├── concurrent
│ ├── erlang
│ │ ├── README.md
│ │ └── example.erl
│ ├── java
│ │ ├── Counter.java
│ │ └── Counter2.java
│ └── promela
│ └── Counter.pml
├── declarative
│ ├── clojure
│ │ └── paradigms.clj
│ ├── idris
│ │ └── Vect.idr
│ └── prolog
│ ├── README.md
│ ├── genealogy.pl
│ ├── lists.pl
│ └── sums.pl
└── imperative
├── assembler
│ ├── sum.s
│ └── sum_x86.asm
├── c
│ └── sum.c
├── pascal
│ └── sum.pas
└── rust
└── borrow.rs