diff options
author | Juan J. Martinez <jjm@usebox.net> | 2022-08-14 17:24:30 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2022-08-14 17:24:30 +0100 |
commit | 9fbb168d465a15e0134addacf14323993ef0e579 (patch) | |
tree | 809096060c30276bd53948a473d6c681ae511da2 /COPYING | |
parent | 3e2ba20ccee0130afb9d84eb7d890b4bf67c77fe (diff) | |
download | micro-lang-hs-9fbb168d465a15e0134addacf14323993ef0e579.tar.gz micro-lang-hs-9fbb168d465a15e0134addacf14323993ef0e579.zip |
Typechecking return
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions