News for hackers. Stuff that matters.
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]`.

There are no comments on this comment yet.