Edit Preface
yurrriq opened this issue · 4 comments
yurrriq commented
For now, it's copied rather directly from the Coq.
steshaw commented
One idea might be to leave some of the SF-in-Coq completely intact (like the Preface). Then introduce a Preface for SF-in-Idris if you like.
yurrriq commented
Not a bad idea...
langston-barrett commented
Might want to mention Idris here:
software-foundations/src/Preface.lidr
Line 109 in fc6fc1e