WIP: edit preface

idris-hackers · Nov 1, 2018 · 21b16cb · 21b16cb
1 parent 3190bc2
commit 21b16cb
Show file tree

Hide file tree

Showing 3 changed files with 219 additions and 269 deletions.
diff --git a/docs/pdf/sf-idris-2018.pdf b/docs/pdf/sf-idris-2018.pdf