tomahawkins/fp-intro
Introduction to Functional Programming
An example showing how to build an assembly DSL in Haskell.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Introduction to Functional Programming
Public repository.
Writing and calling ACL2 from Haskell.
A numeric type to automatically manage engineering units in Haskell.