Re:Notes on Idris (2017)
by ben-schaaf on Thursday June 07, 2018 @08:32PM
(#17261596)
It also has similar type safety for native to `byte[]` conversion, ie. `bigEndianToNative!int` takes a `byte[4]`, which you can pass in from a `byte[]` using `data[0..4]`.
[ Parent
| on HN ]
There are no comments on this comment yet.