diff options
| author | Peter Sewell | 2014-11-05 11:38:55 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-05 11:38:55 +0000 |
| commit | 30870b18751eba3a7e85eaff713cbe85846c19b6 (patch) | |
| tree | a4453ae8bac7849942d86a22fc879cf8ebf9da36 /src/lem_interp/interp_lib.lem | |
| parent | 43df2c7fe73227c97dc933a2eda238167e4c74a4 (diff) | |
add type class instantiations (required as reg_name currently contains big_ints)
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions