> type inference This means muon can fairly easily implement user-defined functions without making the language Turing complete. If they did this I would happi

> type inference This means muon can fairly easily implement user-defined functions without making the language Turing complete. If they did this I would happily (re)consider switching from CMake.