https://github.com/philzook58/lens-algebra
Type level algebraic "proofs" using lens combinators
https://github.com/philzook58/lens-algebra
algebra lens polynomial proofs
Last synced: about 1 year ago
JSON representation
Type level algebraic "proofs" using lens combinators
- Host: GitHub
- URL: https://github.com/philzook58/lens-algebra
- Owner: philzook58
- License: bsd-3-clause
- Created: 2019-05-06T00:37:06.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-07-26T22:55:56.000Z (almost 7 years ago)
- Last Synced: 2024-05-02T01:02:02.158Z (about 2 years ago)
- Topics: algebra, lens, polynomial, proofs
- Language: Haskell
- Size: 20.5 KB
- Stars: 19
- Watchers: 5
- Forks: 0
- Open Issues: 0