This website requires JavaScript.
Explore
Help
Sign In
Everything-I-Know-About-Types
/
logict
Watch
1
Star
0
Fork
You've already forked logict
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
19
Commits
1
Branch
0
Tags
508
KiB
PureScript
66.1%
Dhall
33.9%
master
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
Danila Fedorin
880ade17dc
Manually uncurry the success continuation (?)
2023-03-12 22:17:00 -07:00
src/Control/Monad
/Logic
Manually uncurry the success continuation (?)
2023-03-12 22:17:00 -07:00
test
Update test code
2023-03-04 19:01:57 -08:00
.gitignore
Initial commit
2023-02-27 20:32:51 -08:00
packages.dhall
Initial commit
2023-02-27 20:32:51 -08:00
spago.dhall
Add experimental MonadRec instance for SFKT
2023-03-12 21:03:26 -07:00