Specify the generated files' name

Author: Yuji Yamamoto

preprocessed-site/posts/2019/hiw-copilot.md

@@ -77,7 +77,7 @@ Copilotの言葉はこれを`Stream`と呼んでいます。
 👆の場合、`ctemp`という`Stream`が`18.0`を下回ったら`heaton`というイベントを発火し、`21.0`を超えたら`heatoff`というイベントを発火する、と定めているわけですね。  
 そして`main`関数で実行している`reify spec >>= compile "heater"`という箇所で、`.h`ファイルと`.c`ファイルを書き込んでいます。
 
-そして、生成されたヘッダーファイルがこう👇
+そして、生成されたヘッダーファイル`heater.h`がこう👇
 
 ```c:heater.h
 extern uint8_t temperature;
@@ -86,7 +86,7 @@ void heaton(float heaton_arg0);
 void step(void);
 ```
 
-で、肝心のCのコード本体がこちらです。
+で、肝心のCのコード本体`heater.c`がこちらです。
 
 ```c:heater.c
 #include <stdint.h>