HTTPS clone URL
Subversion checkout URL
November 19, 2015 – November 26, 2015
Excluding merges, 3 authors have pushed 0 commits to master and 4 commits to all branches. On master, 0 files have changed and there have been 0 additions and 0 deletions.
2 Pull requests proposed by 2 people
3 Issues created by 3 people
- Opened #2826 Functions defined with `defineFunction` don't have clauses
- Opened #2823 Compiler error "doOp not implemented"
- Opened #2822 Broken Hackage documentation for idris-0.9.20.1
6 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
- 8 new comments Open #2423 Type check / compilation: a basic problem
- 1 new comment Open #2791 [WIP] Well-founded recursion
- 1 new comment Open #2783 Install Failure: OS X Yosemite, trifecta-1.5.2
- 1 new comment Open #2820 rmFile: don't even try removing not existing files
- 1 new comment Open #2818 Add doc comment and deprecation warning for Float
- 0 new comments Open #2465 Possible Inconsistent behaviour with PrettyPrint.