diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-30 14:40:42 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-30 14:40:42 -0400 |
| commit | 49330740529a9d1448bff0fd3123e8946ab3915d (patch) | |
| tree | 3bf696058ebb4bf033bed7475be602a25aeeb88c /tests/ffi.ur | |
| parent | d321a012ed51bf14ce6271198ccb29784efb7bd5 (diff) | |
Add time to some type classes
Diffstat (limited to 'tests/ffi.ur')
0 files changed, 0 insertions, 0 deletions