GitHub · Where software is built

Labels Milestones New issue

Page 18, mult function is wrong

#59

· PhilAndrew opened

on Oct 21, 2019

testFactorial1 not solvable with "Refl"

#54

· peterb12 opened

on Dec 21, 2018

Figure out what to do with IndPrinciples

#42

· clayrat opened

on Aug 3, 2017

·

First ten chapters

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

#39

· yurrriq opened

on Aug 3, 2017

·

First ten chapters

Fix inversion_ex3

#38

· yurrriq opened

on Aug 3, 2017

·

First ten chapters

Verify against the latest edition

#37

· clayrat opened

on Jul 31, 2017

·

First ten chapters

Try to use idris-code-highlighter instead of minted

#30

· yurrriq opened

on Jul 25, 2017

·

First ten chapters

Generate HTML files

#25

· yurrriq opened

on Jul 20, 2017

·

First ten chapters

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

#24

· yurrriq opened

on Jul 20, 2017

·

First ten chapters

Resolve todonotes issues

#22

· yurrriq opened

on Jul 20, 2017

·

First ten chapters

Split/rewrite Tactics?

#19

· clayrat opened

on Jul 20, 2017

·

First ten chapters

Write more idiomatic Idris

#3

· yurrriq opened

on Aug 20, 2016

·

First ten chapters