Mercurial > urweb
log
age | author | description |
---|---|---|
Sun, 29 Jun 2008 10:39:43 -0400 | Adam Chlipala | Broaden unification context |
Thu, 26 Jun 2008 12:35:26 -0400 | Adam Chlipala | Folding through a functor |
age | author | description |
---|---|---|
Sun, 29 Jun 2008 10:39:43 -0400 | Adam Chlipala | Broaden unification context |
Thu, 26 Jun 2008 12:35:26 -0400 | Adam Chlipala | Folding through a functor |