3 ms·
Dhall is explicitly not Turing complete, afaik
by alserio 5y ago
Dhall is explicitly not Turing complete, afaik
- verdverm 5y agoYou are right, I did a bit of reading. It's more restricted than CUE in some cases, like defining infinite structures is possible in CUE.