Search results

Page 18, mult function is wrong

Status: Open.

#59 In idris-hackers/software-foundations;

· PhilAndrew opened on Oct 21, 2019

testFactorial1 not solvable with "Refl"

Status: Open.

#54 In idris-hackers/software-foundations;

· peterb12 opened on Dec 21, 2018

Figure out what to do with IndPrinciples

Status: Open.

#42 In idris-hackers/software-foundations;

· clayrat opened on Aug 3, 2017

 ·  

First ten chapters

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

 ·  

First ten chapters

Fix inversion_ex3

bug

help wanted

Status: Open.

#38 In idris-hackers/software-foundations;

· yurrriq opened on Aug 3, 2017

 ·  

First ten chapters

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

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

bug

Status: Open.

#24 In idris-hackers/software-foundations;

· yurrriq opened on Jul 20, 2017

 ·  

First ten chapters

Resolve todonotes issues

documentation

help wanted

Status: Open.

#22 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