Hoang Giang Share
Janusz
办美国文凭加拿大文凭澳洲文凭英国文凭学位证毕业证成绩单
Veinas bọt EPE máy móc
Wendy Ye
FP — Chapter #03 — Video #008 — GADTs, DSL embeddings and type classes, pattern matching DSL
116 views
Database Systems Research Group at U Tübingen
9 months agoFP — Chapter #03 — Video #008 — GADTs, DSL embeddings and type classes, pattern matching DSL
![Prove that |[a - b - c, 2a, 2a],[2b, b - c - a, 2b],[2c, 2c, c - a - b]| = (a + b +c)^3](http://i.ytimg.com/vi/F6Kll3fQIB0/mqdefault.jpg "Prove that |[a - b - c, 2a, 2a],[2b, b - c - a, 2b],[2c, 2c, c - a - b]| = (a + b +c)^3")
