Search results

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

Resolve todonotes issues

documentation

help wanted

Status: Open.

#22 In idris-hackers/software-foundations;

· yurrriq 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