IdrisScript icon indicating copy to clipboard operation
IdrisScript copied to clipboard
verified publisher icon idris-hackers

ToJS / FromJS

Open jheiling opened this issue 8 years ago • 0 comments

because i think they really should be there...

implementation ToJS Nat JSNumber implementation ToJS Integer JSNumber

implementation FromJS JSNumber Integer

jheiling avatar Aug 15 '17 11:08 jheiling