2011-04-25 Software Foundations:Bags via Lists Coq http://gist.github.com/936114先週の続き。 ごく普通の関数型プログラミングの流れ、という気がする。