diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-07-20 04:35:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-20 04:35:37 +0200 |
| commit | 667bfd30bd809146327e020f583362f765d15f46 (patch) | |
| tree | 8a99a5dae41a743b883a112d57b28e88ab91a8ba /src/runtime/python | |
| parent | 66ae31e99e31c86172bcc31e36d4f9441fde8634 (diff) | |
| parent | 7faf8c9dad5a88c38f7fa3633f8a1b286ac570c3 (diff) | |
Merge pull request #87 from anka-213/make-it-fast
Remove the `Either Int` from value2term
Diffstat (limited to 'src/runtime/python')
0 files changed, 0 insertions, 0 deletions