Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
dUSD
kmn-programming
l2-norm
kmn-programming
K_m,n quadratic programming
l2-norm
react-hs
A GHCJS binding to React based on the Flux design. The flux design pushes state and complicated logic out of the view, allowing the rendering functions and event handlers to be pure Haskell functions.