This repository has been archived on 2025-10-07. You can view files and clone it, but cannot push or open issues or pull requests.

Rodrigo Arias Mallo 8262fd3104 Add slides for meeting 3

2021-01-13 20:19:28 +01:00

..

slides

Add slides for meeting 3

2021-01-13 20:19:28 +01:00

.gitignore

Add more rendered files to ignore

2020-11-04 12:57:22 +01:00

execution.ms

Fix execution out path

2020-11-06 12:31:39 +01:00

Makefile

Increase margins and enable utf8 targets

2020-11-09 12:09:22 +01:00

pp.ms

Extend abstract

2020-11-09 12:16:56 +01:00

ref.i

Document the results and pp stages

2020-11-05 14:52:57 +01:00