redfish64 questions

• Reverting to global scope in macro in clojure?
• How does "There" work in the idris tutorial, page 11, section 3.4.4?
• If Idris thinks things may be total that are not, can Idris be used for proofs?
• clojure's -> (arrow) operator and optional operations

redfish64 answers