Top New Trends Comments Past Ask Show Jobs

llcv · HackerTrans

llcv

no profile record

comments

·11 anni fa·discuss

Ok. But if you just introduce an symbol with type NatInd, everything works fine?

·11 anni fa·discuss

Can you explain further?