https://github.com/datashaman/logic
A monad and combinator library. Experimental.
https://github.com/datashaman/logic
chain combinators combinatory-logic either lambda-calculus maybe monad
Last synced: 6 months ago
JSON representation
A monad and combinator library. Experimental.
- Host: GitHub
- URL: https://github.com/datashaman/logic
- Owner: datashaman
- Created: 2019-05-01T06:27:36.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-12-09T21:45:15.000Z (almost 3 years ago)
- Last Synced: 2025-02-13T10:49:16.319Z (8 months ago)
- Topics: chain, combinators, combinatory-logic, either, lambda-calculus, maybe, monad
- Language: PHP
- Homepage:
- Size: 4.55 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 23
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# logic
A monad and combinator library. Experimental.
This should probably not be in PHP.
/shrug
Documentation (_WIP_) to be found [here](https://logic.datashaman.com/ns/Datashaman%5CLogic).