mcb icon indicating copy to clipboard operation
mcb copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

More details needed in fiddling with packed classes

Open amahboubi opened this issue 4 years ago • 0 comments

End of section 8.4 , in the definition of pack : provide a type annotation for m and explain why m0 cannot be used as such, as in Pack (@Class T b m0).

amahboubi avatar Oct 09 '20 17:10 amahboubi