Announcing `crem`

I reached for this yesterday and found that it didn’t compile with 9.10. So I rolled up my sleeves and updated it with new version bounds. I was about to submit a pull request but I didn’t know how to handle the literate Haskell doctest part.

Here’s my update so far:

github.com

GitHub - harryprayiv/crem at update

Compositional Representable Executable Machines. Contribute to harryprayiv/crem development by creating an account on GitHub.

And here’s where I immediately put it to work on my backend API where it prevents illegal state changes at the type level along with additions to my tests to verify the veracity of that claim: cheeblr/backend at crem2 · harryprayiv/cheeblr · GitHub

Thanks for your brilliant work. I feel that I’m finally reaching the point in my journey where I’m starting to understand why so many are anxiously awaiting dependent types.