search

idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

WIP: Edit Preface #20

Open yurrriq opened 7 years ago

yurrriq commented 7 years ago

This is intended to resolve #2.

ag todo src/Preface.lidr

TODO: update todo list

yurrriq commented 7 years ago

Sounds good. You should edit the relevant text then too. Can we make it work for both 1.0 and 1.1.0?

clayrat commented 7 years ago

Probably not without some kind of preprocessing.

yurrriq commented 7 years ago

This might be he push I need to finish up my efforts of updating Nix support for Idris then.