emilaxelsson/fp-presentation-15
Presentation of the Chalmers FP group at student lunch seminars
Synchronous streams for Feldspar
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Presentation of the Chalmers FP group at student lunch seminars
.ghci file for loading Feldspar-related packages
An "IO monad" for Feldspar
A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders