sdiehl/picologic
Symbolic logic expressions
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.
Symbolic logic expressions
Toy language
haskell bindings for blas and lapack
Implements common Haskell type classes using the constraint kinds pattern to allow constraints.