-
Notifications
You must be signed in to change notification settings - Fork 34
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Edit Preface #2
Labels
Comments
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. |
Not a bad idea... |
Might want to mention Idris here: software-foundations/src/Preface.lidr Line 109 in fc6fc1e
|
yurrriq
added a commit
that referenced
this issue
Nov 16, 2016
See @siddharthist’s comment on #2. #2 (comment)
Closing to simplify tracking on #20. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
For now, it's copied rather directly from the Coq.
The text was updated successfully, but these errors were encountered: