about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorLinus Heckemann <git@sphalerite.org>2019-03-21T13·32+0100
committerLinus Heckemann <git@sphalerite.org>2019-03-21T14·31+0100
commit2aa89daab3a8351a03f6d57d3e1f737cccd59850 (patch)
treeeac2bcaff33d4db1b9306a8d76ffa11de0e8b0a5 /.gitignore
parent6a3dfcb623b82d62e090cd023144454bd1a15d91 (diff)
eval: improve type description for primops and applied primops
This can make type errors a little easier to understand.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions