idris-hackers software-foundations issues

idris-hackers / software-foundations

Software Foundations in Idris

https://idris-hackers.github.io/software-foundations

MIT License

452 stars 34 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Page 18, mult function is wrong

#59 PhilAndrew opened 5 years ago
2
Fix testNextWeekday.

#58 thealmarty closed 5 years ago
2
Adds missing arguments to Playground2.mult

#57 acarrico closed 5 years ago
1
Change Church namespace unit tests

#56 MarcelineVQ closed 5 years ago
4
succ' unit test note solution

#55 MarcelineVQ closed 5 years ago
3
testFactorial1 not solvable with "Refl"

#54 peterb12 opened 5 years ago
1
PDF is unavailable

#53 optician closed 5 years ago
1
ImpCEvalFun rebased

#52 yurrriq closed 6 years ago
0
Merge develop into master

#51 yurrriq closed 5 years ago
4
WIP Smallstep + Types + STLC + StlcProp

#50 jutaro opened 6 years ago
11
ImpCEvalFun

#49 clayrat closed 6 years ago
3
negation_fn_applied_twice

#48 andreykl closed 6 years ago
3
Adopt MIT(-friendly) LICENSE

#47 yurrriq closed 6 years ago
1
WIP: ImpCEvalFun

#46 clayrat closed 6 years ago
0
Add installation instructions for prerequisites on macOS

#45 anton-trunov closed 6 years ago
2
Fix PDF

#44 yurrriq closed 6 years ago
0
ImpParser

#43 clayrat closed 6 years ago
4
Figure out what to do with IndPrinciples

#42 clayrat opened 7 years ago
1
Update Idris in nixpkgs

#41 yurrriq closed 6 years ago
0
Push a release of the first ten chapters

#40 yurrriq closed 7 years ago
2
Choose or write a style guide for Idris code and adopt it

#39 yurrriq opened 7 years ago
3
Fix inversion_ex3

#38 yurrriq opened 7 years ago
0
Verify against the latest edition

#37 clayrat opened 7 years ago
0
Imp

#36 clayrat closed 7 years ago
6
Use Iosevka font

#35 yurrriq closed 6 years ago
1
Cleanup for the first part

#34 clayrat closed 7 years ago
2
Rel

#33 clayrat closed 7 years ago
5
IndPrinciples

#32 clayrat closed 7 years ago
11
ProofObjects

#31 clayrat closed 7 years ago
12
Try to use idris-code-highlighter instead of minted

#30 yurrriq opened 7 years ago
0
Maps: minor editing

#29 yurrriq closed 7 years ago
0
IndProp: a few edits

#28 yurrriq closed 7 years ago
0
Maps

#27 clayrat closed 7 years ago
3
IndProp

#26 clayrat closed 7 years ago
5
Generate HTML files

#25 yurrriq opened 7 years ago
3
\idr{...} in headings is rendered poorly in ToC

#24 yurrriq opened 7 years ago
3
Give @clayrat commit rights

#23 yurrriq closed 7 years ago
4
Resolve todonotes issues

#22 yurrriq opened 7 years ago
1
WIP: Edit Tactics

#21 yurrriq closed 7 years ago
2
WIP: Edit Preface

#20 yurrriq opened 7 years ago
3
Split/rewrite Tactics?

#19 clayrat opened 7 years ago
1
Logic

#18 clayrat closed 7 years ago
6
WIP: Tactics

#17 clayrat closed 7 years ago
13
Fix typos in CONTRIBUTING.md

#16 yurrriq closed 7 years ago
0
WIP: Add CONTRIBUTING.md

#15 yurrriq closed 7 years ago
0
WIP: Poly

#14 clayrat closed 7 years ago
4
Stylistic fixes

#13 clayrat closed 7 years ago
1
Add draft of "Lists" chapter

#12 clayrat closed 7 years ago
2
Update known working versions in README.md

#11 yurrriq closed 7 years ago
0
Add `pandocfilters` to list of prerequisites

#10 ehamberg closed 7 years ago
2