3 ms·The Power of Types in Idris2 points by based2 8y agobased2 8y agohttps://lobste.rs/s/drw8uh/power_types_idris https://lobste.rs/s/drw8uh/power_types_idris