Commit graph

Select branches

Hide pull requests

master

Mono Color

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