August 26, 2018 – September 2, 2018
Overview
2 Pull requests merged by 1 person
-
Merged
#127
Add some more mathjax commands for contexts
Aug 31, 2018 -
Merged
#126
Make label handling clearer in theory docs
Aug 30, 2018
1 Issue created by 1 person
-
Opened
#128
Pattern match compilation
Sep 1, 2018
4 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.
-
2 new comments
Open
#10
Cumulative Universe Hierarchy
Aug 27, 2018 -
1 new comment
Open
#93
Effects: Pikelet should actually be useful!
Sep 1, 2018 -
0 new comments
Open
#103
Move to an incremental/query driven architecture
Sep 2, 2018 -
0 new comments
Open
#125
WIP: Implement McBride-style universe shifting
Sep 1, 2018