3 ms·This sounds a bit like Idris with its dependent types.by thecity2 9y agoThis sounds a bit like Idris with its dependent types.