11 ms·Yeah, functions returning types based on computations in Zig can look a lot like Idris if you squintby agbell 5y agoYeah, functions returning types based on computations in Zig can look a lot like Idris if you squint