The results of this talk (and paper) are truly amazing. Can’t wait to see it get some good use.
Awesome. Conal’s work on Lambda-CCC has always really impressed me. I ended up using Clash instead of Lambda-CCC to synthesize Haskell code to hardware for practical reasons, but the approach used by LCCC is quite apppealinng.