Index

1. 02.03.2019 - created a website
2. 02.03.2019 - Token-Type distinction
3. 28.05.2019 - map, reduce and filter
4. 01.06.2019 - {u, v} vs (u, v)
5. 04.06.2019 - [ command in bash