Yes, I'm writing #Idris in #acme.
https://cybre.space/media/lGUJLPd4YmwC9y9kcz0
#programming #whatisanemacs
And yes, that implementation for Eq is incomplete.
And yes, that implementation for Eq is incomplete.