Follow I haven't used Idris 1 in a while. Anyway, not sure if I'm understanding what you're trying to do; LMK.

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko