diff options
| author | Jon French | 2018-05-10 11:19:08 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-10 11:19:08 +0100 |
| commit | d72cd585d7fe71c98a83f7c863167d79f2520159 (patch) | |
| tree | f528e54f1dce030ffda15f328e3d8ee3f4bcd2e3 /src/lem_interp/interp_interface.lem | |
| parent | 86e6b9e26b76e4af4e5ba056b2e5e7efc98b8efd (diff) | |
generalise string pattern matching to arbitrary arguments rather than just an id; also remove builtin special-casing as it's not needed!
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
0 files changed, 0 insertions, 0 deletions