3 ms·Looks like an ad-hoc dependly typed language, but dynamic.by still_grokking 5y agoLooks like an ad-hoc dependly typed language, but dynamic.