diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-12-31 14:30:00 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-12-31 14:30:00 -0500 |
| commit | 07537c34f4feb869ed6461f704059fa2f8a14b4f (patch) | |
| tree | b538a7f5c88dd8cc252ee01906f1447a610edbef /demo/sum.urs | |
| parent | 245eb671d45ceda8715b8850c7a5c4540da685fa (diff) | |
| parent | a7f331db1fb5d9138c8909fb843989c3e4d45b42 (diff) | |
Merge pull request #55 from TheNotary/edit-tutorial
reflows intro tutorial
Diffstat (limited to 'demo/sum.urs')
0 files changed, 0 insertions, 0 deletions