Théophile Bastian
|
2ae3e1aa2b
|
Add correctness proof sketches
|
2018-03-05 00:29:59 +01:00 |
Théophile Bastian
|
c319c28c53
|
Add correctness proof sketch (1)
|
2018-03-04 23:50:05 +01:00 |
Théophile Bastian
|
8f03d4acd2
|
Value type spec.
|
2018-03-04 23:14:05 +01:00 |
Théophile Bastian
|
a91d6a3075
|
Add hot path stitching
|
2018-03-04 22:33:53 +01:00 |
Théophile Bastian
|
7ad40c8cf3
|
Describe types, values, rough semantics
|
2018-03-04 17:39:18 +01:00 |
Théophile Bastian
|
ef87d28135
|
Define toy language
|
2018-03-04 16:44:36 +01:00 |
Théophile Bastian
|
dbe16362f6
|
Add conclusion slide
|
2018-03-04 13:42:59 +01:00 |
Théophile Bastian
|
2e60c71e8c
|
Add outline, fancify template
|
2018-03-04 13:09:42 +01:00 |
Théophile Bastian
|
906438583c
|
Enhance "how is it done?"
|
2018-03-04 12:51:41 +01:00 |
Théophile Bastian
|
305924d726
|
Add first slides + tikz
|
2018-03-04 12:39:27 +01:00 |
Théophile Bastian
|
3bb22e9cbf
|
No hyperref
|
2018-03-04 11:55:59 +01:00 |
Théophile Bastian
|
de48b650b1
|
Initialize tex project
|
2018-03-04 00:06:49 +01:00 |