Issues
- 2
Page 18, mult function is wrong
#59 opened by PhilAndrew - 3
succ' unit test note solution
#55 opened by MarcelineVQ - 1
testFactorial1 not solvable with "Refl"
#54 opened by peterb12 - 1
PDF is unavailable
#53 opened by optician - 1
Adopt MIT(-friendly) LICENSE
#47 opened by yurrriq - 1
Use Iosevka font
#35 opened by yurrriq - 0
- 0
Update Idris in nixpkgs
#41 opened by yurrriq - 3
negation_fn_applied_twice
#48 opened by andreykl - 1
Finish Basics
#1 opened by yurrriq - 3
\idr{...} in headings is rendered poorly in ToC
#24 opened by yurrriq - 2
Push a release of the first ten chapters
#40 opened by yurrriq - 1
Figure out what to do with IndPrinciples
#42 opened by clayrat - 3
Write more idiomatic Idris
#3 opened by yurrriq - 4
Edit Preface
#2 opened by yurrriq - 2
Keeping text up-to-date?
#6 opened by clayrat - 1
Split/rewrite Tactics?
#19 opened by clayrat - 3
Generate HTML files
#25 opened by yurrriq - 0
Verify against the latest edition
#37 opened by clayrat - 1
Resolve todonotes issues
#22 opened by yurrriq - 0
Fix inversion_ex3
#38 opened by yurrriq - 3
- 4
Give @clayrat commit rights
#23 opened by yurrriq - 9
Add CONTRIBUTING.md
#4 opened by yurrriq - 0
Fix typos in CONTRIBUTING.md
#16 opened by yurrriq - 0
Update known working versions in README.md
#11 opened by yurrriq - 1
Doubles of certain special characters
#5 opened by tsani