Solving custom operations in KnownNat constraints
Aug 17, 2016
In my previous post I discussed a solver plugin for
KnownNat constraints, and with regards to user-defined type-level operations, I said:
i.e. it cannot solve constraints involving subtraction ...
Solving GHCs KnownNat constraints
Aug 10, 2016
If you have ever worked with GHC.TypeLits then you have probably encountered an error that is very similar to:
• Could not deduce (KnownNat (n + 2))
arising from a use...
CλaSH FPGA Starter
May 12, 2016
In this tutorial we'll be programming the Terasic DE0-Nano FPGA development board using the functional hardware description language CλaSH.
The end result of this tutorial is demonstrated in the video...