Skip to content
Started 8 yr 4 mo ago
Took 2 hr 45 min on built-in
Failed

#85 (Feb 25, 2016, 6:35:13 PM)

Changes
  1. Weakened conditions to integral in Akra-Bazzi (detail / hgweb)
  2. More facts about Stirling numbers of the 1st kind (detail / hgweb)
  3. add monoid instance for applicative functors (detail / hgweb)

Started by an SCM change

Revision: f56ac887344f7eaa2571197438a72b68e277bb9d
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #85( 2 hr 45 min )Console Output