TechQA.

Question

Is it possible to do dependent types in Shen?

score 1296 · Answer 1 · 2015-02-02 10:18:00

1.2k views Asked by hawkeye At 02 February 2015 at 10:18

score 43 · Answer 2 · 2022-01-30 05:51:49

43 views Asked by BitTickler At 30 January 2022 at 05:51

score 89 · Answer 3 · 2018-02-12 17:46:24

89 views Asked by Johan Jonasson At 12 February 2018 at 17:46

List Question