|
|
|
|
|
|
by dwohnitmok
1603 days ago
|
|
|
> Multiplicity 0 removes the value from the runtime avoiding allocations and garbage collection. Does this apply even for compile-time evaluation? I'm not sure of the specifics of how Idris does compile-time evaluation vs runtime evaluation. |
|
|