3 ms·
https://www.idris-lang.org/drafts/sms.pdf https://www.idris-lang.org/drafts/sms.pdf Try this way of programming.
by openfuture 6y ago
https://www.idris-lang.org/drafts/sms.pdf https://www.idris-lang.org/drafts/sms.pdf
Try this way of programming.