tomahawkins/fp-intro
Introduction to Functional Programming
Public repository discovered through GitHub real-time crawl.
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.