skiplang / skip

A programming language to skip the things you have already computed

http://skiplang.com

[Bug] Investigate failing test tests/src/frontend/typechecking/tunder_generic_2.sk

tnowacki opened this issue 6 years ago · comments

Todd Nowacki commented 6 years ago

[Bug] Investigate failing test tests/src/frontend/typechecking/tunder_generic_2.sk