Top Answers

1. Can Idris infer indices in types of top-level constants?
   2 votes
2. How to build llvm-hs from source
   1 votes
3. indexed by a type vs containing a type in idris
   1 votes