3 ms·Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen2 points by gmoes 13y ago