Rodolphe Lepigre (b46ccf3c) at 14 Jan 14:19
Picture for the presentation (Rodolphe).
Rodolphe Lepigre (d5bb5548) at 08 Dec 14:21
Link to the PR.
Rodolphe Lepigre (4da32b0e) at 28 Oct 17:17
Some improvements in semantics.
Rodolphe Lepigre (a62b8e4d) at 28 Oct 17:00
Typos in semantics + make (invisible) footnote in remark.
Rodolphe Lepigre (c28bddbe) at 28 Oct 16:41
Improved meta-theory section.
Rodolphe Lepigre (ca4d0cf0) at 28 Oct 16:31
Small improvement and typos up to page 10.
Rodolphe Lepigre (56462358) at 28 Oct 14:52
One typo in section 4.
Rodolphe Lepigre (bcdbaf14) at 28 Oct 14:35
Some more corrections.
Rodolphe Lepigre (b5c44a07) at 28 Oct 13:51
A couple of corrections (up to page 7).
... and 2 more commits
Rodolphe Lepigre (5fb105d7) at 26 Oct 13:04
Related work.
Rodolphe Lepigre (177e32cf) at 25 Oct 15:24
Almost nothing (biblio).
Rodolphe Lepigre (f2151c42) at 25 Oct 14:34
Future work.
Rodolphe Lepigre (fdc10643) at 25 Oct 14:05
Merge branch 'master' of gitlab.com:rlepigre/unboxability
... and 1 more commit