Modus
https://gyazo.com/27550033cc42f2c9b97d90e9f7061285
website
igthub
Rust実装
Dockerfile
の代替
論理プログラミング
的らしい
image fileの縮小
https://docs.modus-continens.com/tutorial.html