Status Updates From Software Foundations

Software Foundations
by

Benjamin C. Pierce

all editions | this edition
show all updates | only show updates with text

Status Updates Showing 1-30 of 42

Chris Hall is 20% done

— Jun 11, 2018 03:54PM Add a comment

Pierre Beaucamp is 22% done

— Jan 25, 2018 06:21PM Add a comment

Pierre Beaucamp is 16% done

— Jan 17, 2018 06:40PM Add a comment

Pierre Beaucamp is 11% done

— Jan 17, 2018 01:13PM Add a comment

Pierre Beaucamp is 11% done

— Jan 17, 2018 01:13PM Add a comment

Alexander Shelemin is on page 80 of 800

— Nov 22, 2017 02:53PM Add a comment

Eric is 50% done

— Aug 31, 2017 07:24AM Add a comment

Apoorv Ingle is on page 50 of 800

— May 17, 2017 10:27AM Add a comment

Jonas is 25% done

— May 16, 2017 04:09AM Add a comment

Chen Shen is 70% done

— Apr 27, 2017 02:23PM Add a comment

aupiff is 39% done

— Mar 23, 2017 10:03AM Add a comment

Chen Shen is 40% done

— Mar 10, 2017 10:40AM Add a comment

aupiff is 36% done

— Mar 09, 2017 11:42AM Add a comment

aupiff is 33% done

Rel.v, Extraction.v

— Feb 21, 2017 03:42PM Add a comment

aupiff is 28% done

Finishing Maps.v

— Feb 20, 2017 05:44AM Add a comment

Chen Shen is 30% done

— Feb 15, 2017 01:16AM Add a comment

aupiff is 25% done

Finished ProofObjects.v -- An incredible chapter, but it turns out that SF has very little content about Dependent Types.

— Feb 11, 2017 04:25AM Add a comment

aupiff is 22% done

Finishing IndProp.v

— Feb 08, 2017 12:10PM Add a comment

aupiff is 19% done

— Jan 31, 2017 01:44PM Add a comment

aupiff is 17% done

— Jan 24, 2017 11:01PM Add a comment

aupiff is 14% done

Finished Poly.v

— Jan 23, 2017 04:14PM Add a comment

aupiff is 11% done

Finished Lists.v, the 4th Chapter of 36. Former status updates were wrong. Whoops.

— Jan 18, 2017 03:45PM Add a comment

aupiff is 16% done

— Jan 15, 2017 08:29PM Add a comment

Sean Talts is on page 230 of 800

— Jan 14, 2017 06:22PM Add a comment

aupiff is 8% done

— Jan 12, 2017 07:41PM Add a comment

Kartik Singhal is on page 2 of 800

— Sep 13, 2016 04:05PM Add a comment

Kartik Singhal is starting

— Sep 13, 2016 04:05PM Add a comment

Eric is on page 68 of 800

— Jun 21, 2016 05:54PM Add a comment

Eric is 10% done

— Jun 19, 2016 08:52PM Add a comment

aupiff is 20% done

— May 13, 2016 06:00PM Add a comment

« previous 1 2 next »