1 changed files with 1 additions and 6 deletions
--- a/content/音楽プログラミング言語の形式化.md
+++ b/content/音楽プログラミング言語の形式化.md
@ -214,9 +214,4 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
        return 0
    }
 }
-```
-
-
-
---
-プリミティブとしてはlistとarrayの2種類を持っておき、型強制で`<List 'a>`を`Array 'a`　として使えるようにする
+```