1. 8
  1.  

  2. 2

    The results of this talk (and paper) are truly amazing. Can’t wait to see it get some good use.

    1. 1

      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.