Search results

Verify against the latest edition

enhancement

Status: Open.

#37 In idris-hackers/software-foundations;

· clayrat opened on Jul 31, 2017

 ·  

First ten chapters

Try to use idris-code-highlighter instead of minted

enhancement

help wanted

wontfix

Status: Open.

#30 In idris-hackers/software-foundations;

· yurrriq opened on Jul 25, 2017

 ·  

First ten chapters

Generate HTML files

enhancement

help wanted

Status: Open.

#25 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

 ·  

First ten chapters

WIP: Edit Preface

enhancement

Status: Open (in progress).

idris-hackers/software-foundationsnumber 20

#20 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

 ·  

First ten chapters

Split/rewrite Tactics?

enhancement

help wanted

question

Status: Open.

#19 In idris-hackers/software-foundations;

· clayrat opened on Jul 20, 2017

 ·  

First ten chapters

Write more idiomatic Idris

documentation

enhancement

help wanted

Status: Open.

#3 In idris-hackers/software-foundations;

· yurrriq opened on Aug 20, 2016

 ·  

First ten chapters

Finish Basics

enhancement

help wanted

Status: Open.

#1 In idris-hackers/software-foundations;

· yurrriq opened on Jun 27, 2016

 ·  

First ten chapters