Li-Fan Chen
says to
YSITD
@zypeh 話說Idris有類似coq的auto那種東西嗎