|
|
|
|
|
|
by dnautics
2144 days ago
|
|
|
Sorry, I wasn't defensive about the decidability of the type system, just curious about the analysis, which squares with my understanding of zig now! Thanks for the clarification; it might be helpful to expand on that in the doc. |
|
|