Algorithm-idris-patricia.zip,patricia树的idris实现,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。