List view

Figure out what to do with IndPrinciples

Status: Open.

#42 In idris-hackers/software-foundations;

· clayrat opened on Aug 3, 2017

Finish Basics

enhancement

help wanted

Status: Open.

#1 In idris-hackers/software-foundations;

· yurrriq opened on Jun 27, 2016

Write more idiomatic Idris

documentation

enhancement

help wanted

Status: Open.

#3 In idris-hackers/software-foundations;

· yurrriq opened on Aug 20, 2016

Split/rewrite Tactics?

enhancement

help wanted

question

Status: Open.

#19 In idris-hackers/software-foundations;

· clayrat opened on Jul 20, 2017

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

Resolve todonotes issues

documentation

help wanted

Status: Open.

#22 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

\idr{...} in headings is rendered poorly in ToC

bug

Status: Open.

#24 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

Generate HTML files

enhancement

help wanted

Status: Open.

#25 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

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

Verify against the latest edition

enhancement

Status: Open.

#37 In idris-hackers/software-foundations;

· clayrat opened on Jul 31, 2017

Fix inversion_ex3

bug

help wanted

Status: Open.

#38 In idris-hackers/software-foundations;

· yurrriq opened on Aug 3, 2017

Choose or write a style guide for Idris code and adopt it

documentation

Status: Open.

#39 In idris-hackers/software-foundations;

· yurrriq opened on Aug 3, 2017