I haven't looked at the ability to have dependent types in Shen - it'd be great to see some examples. A quick search on the mailing list found: https://groups.

I haven't looked at the ability to have dependent types in Shen - it'd be great to see some examples. A quick search on the mailing list found: https://groups.google.com/d/msg/qilang/lokvvf0xLJc/20y8ZkzoNH4J https://groups.google.com/d/msg/qilang/lokvvf0xLJc/20y8ZkzoN... https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomFb0J https://groups.google.com/d/msg/qilang/D3tmhQvfnOE/qcsXhRomF...