diff options
| author | Christopher Pulte | 2016-10-19 15:31:53 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-19 15:31:53 +0100 |
| commit | c710712359a594ddd7e649a73c7ee92c67992ff0 (patch) | |
| tree | 811c8196f82bbddd95e8b0509dd417421195eeda /language | |
| parent | a02cb1e0a25032005deb5545183598bb5feb07d0 (diff) | |
typeclass instances for converting between shallow and deep embedding
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions