Yan Huang
Results
1
comments of
Yan Huang
I highly recommend prioritizing this request. Some bugs/deficiency have been identified in Idris1 implementation, but there is no plan to fix them since it is obsolete. If Idris support is...