2023-05-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
以å‰ã€Webブラウザã§CASL2ã‚’å‹•ã‹ã™CASL2 Playgoundを実装ã—ã¾ã—ãŸã€‚ github.com ãã®æ™‚ã®æ—¥è¨˜ã«æ›¸ã„ã¦ã„ãŸã®ã§ã™ãŒã€ä½œã‚Šå¤‰ãˆãŸã„部分ãŒã‚ã£ãŸã®ã§ä½œã‚Šå¤‰ãˆã¾ã—ãŸã€ã¨ã„ã†æ—¥è¨˜ã§ã™ã€‚ å¤‰æ›´å‰ ã‚¢ã‚»ãƒ³ãƒ–ãƒ©ã¨ã—ã¦æ©Ÿæ¢°èªžã‚’生æˆã™ã‚‹å‡¦ç†ã¨ã€Commet2上ã§å‹•ãをシミ…
