Mercurial > urweb
comparison lib/ur/monad.ur @ 855:28e42b22424d
Initial implementation of protocols in Settings
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 23 Jun 2009 15:56:04 -0400 |
| parents | 74e9e7642f08 |
| children | d1d0b18afd3d |
comparison
equal
deleted
inserted
replaced
| 854:158d980889ac | 855:28e42b22424d |
|---|