diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index 5537cc2d..d79dba82 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -70,3 +70,4 @@ $$ $$ \frac{\Gamma x = R_a }{\Gamma \vdash x:R} $$%% +