September 29, 2018 – October 6, 2018
Overview
-
0 Active Issues
Excluding merges, 2 authors
have pushed
1 commit to master and
9 commits
to all branches.
On master, 5 files
have changed and there have been
3 additions and
3 deletions.
1 Pull request merged by 1 person
-
Merged
#48
[ .agda-lib files ] Convenient renaming
Oct 1, 2018
1 Unresolved conversation
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.
-
4 new comments
Open
#47
Cup Products, stage 2 [WIP]
Oct 5, 2018