software-foundations icon indicating copy to clipboard operation
software-foundations copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

WIP: Edit Preface

Open yurrriq opened this issue 7 years ago • 3 comments

This is intended to resolve #2.

ag todo src/Preface.lidr

TODO: update todo list

yurrriq avatar Jul 20 '17 07:07 yurrriq

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

yurrriq avatar Aug 03 '17 09:08 yurrriq

Probably not without some kind of preprocessing.

clayrat avatar Aug 03 '17 09:08 clayrat

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

yurrriq avatar Aug 03 '17 09:08 yurrriq