Commit 21b16cb

committed

WIP: edit preface

1 parent 3190bc2 commit 21b16cbCopy full SHA for 21b16cb

3 files changed

+219

-269

lines changed

docs/pdf
- sf-idris-2018.pdf
src
- Preface.lidr
- glossary.tex

3 files changed

+219

-269

lines changed

`‎docs/pdf/sf-idris-2018.pdf`

512 Bytes

Binary file not shown.

Comments

(0)