Optimizing Haskell Code for Runtime Verification : vimarsana

In this blog post, we explore, describe, and dissect the first phase of the collaboration between Runtime Verification and Serokell on optimizing the K semantic framework.