Mercurial > urweb
log
age | author | description |
---|---|---|
Sat, 29 Nov 2008 11:33:51 -0500 | Adam Chlipala | Declaration typing |
Sat, 29 Nov 2008 10:49:47 -0500 | Adam Chlipala | Pattern typing |
Sat, 29 Nov 2008 10:34:56 -0500 | Adam Chlipala | Typing |
age | author | description |
---|---|---|
Sat, 29 Nov 2008 11:33:51 -0500 | Adam Chlipala | Declaration typing |
Sat, 29 Nov 2008 10:49:47 -0500 | Adam Chlipala | Pattern typing |
Sat, 29 Nov 2008 10:34:56 -0500 | Adam Chlipala | Typing |