aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/scriptum.lux
diff options
context:
space:
mode:
authorEduardo Julian2019-06-18 23:19:23 -0400
committerEduardo Julian2019-06-18 23:19:23 -0400
commit75e6f7ad181d398b818367fdc5e86b1542d1bc0a (patch)
treed0ea084f2d9f35876d4ab383d3830445588ee323 /stdlib/source/program/scriptum.lux
parent4bf2dce01f51a5b0be76a587f877d1227c3982ae (diff)
Implemented "hole" typing.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
0 files changed, 0 insertions, 0 deletions