Skip to content
/ rfcs Public

[RFC 0017] Intensional Store #17

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wmertens wants to merge 11 commits into
base: master
Choose a base branch
from
Draft

[RFC 0017] Intensional Store #17

Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
ae6d7e3
Intensional Store
wmertens Aug 11, 2017
a7b3772
Rename to PR #
wmertens Aug 11, 2017
520e3e2
self-references may not be discoverable by grep
veprbl Aug 11, 2017
53baec8
Merge pull request #1 from veprbl/patch-1
wmertens Apr 18, 2018
ee3ed3a
add shepherd team
wmertens Jul 18, 2019
3fda171
Update rfcs/0017-intensional-store.md
wmertens Dec 12, 2019
1c7f749
17: complete rework
wmertens Nov 5, 2020
e9c3340
17: updates from comments
wmertens Nov 5, 2020
d4ad873
17: add summary and expand on details
wmertens Nov 8, 2020
b0362a0
17: $cas.m metadata file
wmertens Nov 8, 2020
b0b655e
17: explain metadata alternatives
wmertens Nov 9, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading