software-foundations
software-foundations copied to clipboard
WIP: Edit Preface
This is intended to resolve #2.
ag todo src/Preface.lidr
TODO: update todo list
Sounds good. You should edit the relevant text then too. Can we make it work for both 1.0 and 1.1.0?
Probably not without some kind of preprocessing.
This might be he push I need to finish up my efforts of updating Nix support for Idris then.