tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: tomoyanonymous:3497c16c08f44ca207858377b2add9864e3a9f74
Branches Tags
tomoyanonymous:v4
..
compare: tomoyanonymous:32d7b0e92184c3e6dd4124aec7e9ac91f227bd02
Branches Tags
tomoyanonymous:v4

No commits in common. "3497c16c08f44ca207858377b2add9864e3a9f74" and "32d7b0e92184c3e6dd4124aec7e9ac91f227bd02" have entirely different histories.
3497c16c08 ... 32d7b0e921

1 changed files with 1 additions and 6 deletions
Show Stats Expand all files Collapse all files

7
content/音楽プログラミング言語の形式化.md
View File

@ -214,9 +214,4 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
return 0 return 0
} }
} }
``` ```
---
プリミティブとしてはlistとarrayの2種類を持っておき、型強制で`<List 'a>`を`Array 'a`　として使えるようにする