您即将离开知乎，请注意您的账号和财产安全。
https://www.reddit.com/r/haskell/comments/132kg0/agda_epigram_or_idris_which_one_to_learn/
