2 ms·any code to see? I like Idris so this would be interesting.by anonzzzies 2y agoany code to see? I like Idris so this would be interesting.