https://github.com/philzook58/search
doinking around with search stuff. Nothin to see here.
https://github.com/philzook58/search
Last synced: 7 months ago
JSON representation
doinking around with search stuff. Nothin to see here.
- Host: GitHub
- URL: https://github.com/philzook58/search
- Owner: philzook58
- License: bsd-3-clause
- Created: 2019-03-06T23:16:41.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-06-21T20:41:04.000Z (over 6 years ago)
- Last Synced: 2025-01-08T15:34:56.578Z (9 months ago)
- Language: Haskell
- Size: 49.8 KB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog.md
- License: LICENSE
Awesome Lists containing this project
README
# search
# searchhttps://www-ps.informatik.uni-kiel.de/~sebf/data/pub/icfp09.pdf
https://people.eecs.berkeley.edu/~necula/autded/lecture15-tactics.pdf