Mercurial > urweb
log
age | author | description |
---|---|---|
Sat, 29 Nov 2008 13:50:53 -0500 | Adam Chlipala | Signature compatibility |
Sat, 29 Nov 2008 12:58:58 -0500 | Adam Chlipala | Signature compatibility |
Sat, 29 Nov 2008 11:33:51 -0500 | Adam Chlipala | Declaration typing |
Sat, 29 Nov 2008 10:49:47 -0500 | Adam Chlipala | Pattern typing |