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.
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.