Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3
In the previous episode we got Crystal working with Z3, but it was following low level C API directly.
In this episode we'll layer the problem:
first we'll have very low level API that corresponds directly to C functions - following convention I've ...
taw.hashnode.dev6 min read