emilaxelsson/feldspar-ghci
.ghci file for loading Feldspar-related packages
Generic representation and manipulation of abstract syntax
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
.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
Deep embedding of imperative programs with code generation