2 ms·Idris: general purpose pure functional lang with dependent types.3 points by spooneybarger 13y ago