Search results

Fix inversion_ex3

bug

help wanted

Status: Open.

#38 In idris-hackers/software-foundations;

· yurrriq opened on Aug 3, 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

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

Finish Basics

enhancement

help wanted

Status: Open.

#1 In idris-hackers/software-foundations;

· yurrriq opened on Jun 27, 2016

 ·  

First ten chapters