3 ms·https://arend-lang.github.io https://arend-lang.github.ioby bmc7505 4y agohttps://arend-lang.github.io https://arend-lang.github.ioericmay 4y agoVery neat. Thanks for sharing.lake_vincent 4y agoswoons