Post #4363112
2026-04-22 18:43 UTC
@thezoq2@mastodon.social I'd like to do (or someone to do) a similar plug in for Bluespec.
Replies (1)
-
@thezoq2@mastodon.social 2026-05-01 16:17
@nikhil@mastodon.acm.org seems like your wish is full-filled :) Presented at latch-up today https://github.com/jahagirdar/bluespec-surfer-plugin