gitlab.com/spritely/spritely-papers commits | Ecosyste.ms: OpenCollective

Show symbols sooner in the list of "more types"

8873dfcb29e7f67056c8bf90a3f1d69e0b9f643e authored over 2 years ago

Explain letrec and named let

dd2a20fec954b4f6bbbe03957d13ec6610649e65 authored over 2 years ago

Cleaning up a footnote reference

0175ca997e8f99c9933db65529e93f25a20c5f77 authored over 2 years ago

Fixing a link

79dc67269860395abb041a871a95ed8e64222789 authored over 2 years ago

More footnotes for evaluator section

d41257274cbf18624b6e0e4652491b922ca490d6 authored over 2 years ago

Temporary stuff for the `when` example

179b449e9f496c32e55be3cb24ede8fc97bf24b1 authored over 2 years ago

Clarify, not necessary for the paper

92f2873cd746749de0999bd678dd7505b0ec9f34 authored over 2 years ago

Add alists and quasiquote examples

41ef067ff19974cef5468ad895e91a716fdacaa2 authored over 2 years ago

Add "Scheme in Scheme" and it's awesome

b84a75fdd6f4272dc049eea6619a34251ceffc42 authored over 2 years ago

Add mutation, assignment, etc

ef87519c946fc1b8ffb1152c1385379e171d58ff authored over 2 years ago

Mention that '() is also nil

109cadb86cdaa2eef43f7d5750b0baab2ec52432 authored over 2 years ago

Explain variable arguments, define*, values

39815bf8ddd38570b5371c1da62c90cb6805d6fb authored over 2 years ago

Eliminate `newline` from examples

2c176be91d7b399384e6da1a258fb2b67ec9d6df authored over 2 years ago

Move Closures section

7b8afa107c1f8ce70c4f99fa0840d88c37fdbc50 authored over 2 years ago

Footnote about if and cond

8d14d1339d31dad603d18a1611d1dbb4999765f5 authored over 2 years ago

Add "abstract cons" example

16128f0b1f22743d636d7583dfef139e6c5befc9 authored over 2 years ago

Remove extra newline

58b80abcea8d2fdb41df3b3488238ff52cc63d67 authored over 2 years ago

Clarify, it's spawn which gives us this power

d4f50878c51260b176c057a2b107d0654641d829 authored over 2 years ago

Add Closures section

ad3e5500f2651644b8c483e220d4d1c54dfbf554 authored over 2 years ago

Better version of build-tree, start closure stuff

f8ea0eb7deceea537b119d04c7add71bec7a59a1 authored over 2 years ago

Correct footnote! We do explore rights amplification :)

2401d2800b5d28daabc99d99fc7f52b54c214b72 authored over 2 years ago

Add a warning: you don't need to keep reading!

Unless you want to understand Scheme :)

ad8e1c00aab8da527d1b6361e1e9806e8613001f authored over 2 years ago

Iteration and recursion

476f1e2b3212ca59f7c18645592c58bb149ec672 authored over 2 years ago

Correct phrasing on bumper sticker quote

1f22e757103499d5cac919d689967f849fdd7b92 authored over 2 years ago

Fix typo, correct syntax block to use Wisp instead of Scheme

439d0a5269c19d4a359cb083ca71438de1e1a604 authored over 2 years ago

Update links to appendix to use fragment ids

774f68805024e89a9c565a54f4f1af0ed95d87ec authored over 2 years ago

Small...ish

1573f3affca12580c004f98498fe14d68852953f authored over 2 years ago

Write a large portion of Appendix: A small scheme and wisp primer

7a0c22625a1ffb5d4adf934dc028bcddd68e3215 authored over 2 years ago

Add id for Saturday's work

836674c15fb08b2c966dda62ab1fe8ea9070f075 authored over 2 years ago

Note makefile/readme stuff in ChangeLog

5610001f15747926c32fb28045655a41b1c7e951 authored over 2 years ago

Add README

which yeah, better add that make check command it mentions ;)

f5008c6711687fa0d203384968ea45bb4079f6f8 authored over 2 years ago

Add guile and guile-wisp to the guix shell manifest

b21c5dc45f74189f9b0bf080b52bdef949a97905 authored over 2 years ago

Update the makefile build step to use setup-emacs-for-export

e322b6564c4e06303351c909321168645a188b6c authored over 2 years ago

org-mode stuff exportable in a reproducible way

- guix manifest
- makefile
- shuf stuff specifically for running the extract-stuff-from-emacs...

f1301e96b057554119fea973a18519c182b7f355 authored over 2 years ago

Start the scheme/wisp primer section

cb822846858b380e79cf3770b9a9f35237a01021 authored over 2 years ago

Reorder some of the appendices

a45e24d19bda1df3cb45f7a93f538dc3e422edb1 authored over 2 years ago

Whoops, remove duplicate bullet point in changelog

10dfb18c9ca5af7719e2ba651fd5b2f470e328e5 authored over 2 years ago

Fix link for sandboxed evaluation from wrapping

e5305fb411091b961586439049ab33f10dd37064 authored over 2 years ago

Updates to the sealers/unsealers appendix

- Show example of =pos?= predicate in use
- Explain necessity of language runtime participatin...

3aec1689d642d9d40a4dfa74302220ae64307527 authored over 2 years ago

Rename application safety section

87492adf93e8bebe720f71263bd9aac4741010df authored over 2 years ago

Complete sandboxing footnote

6722c0bfbb3298a38a1e386c7ea15e98179fb920 authored over 2 years ago

Explicitly describe how to write the module files

5655edd1849fc715ba9ab29e9b6aea3435f9a47b authored over 2 years ago

Explain importing or defining modules up front for taste-of-goblins

e60d3af4c47d7e79e8944063f304356b247ff649 authored over 2 years ago

bcom was in wrong section, whoops!

40667d55c912613d1ea15579b6b4bc29a4d2356c authored over 2 years ago

Add Conclusions section

e12e04be55dd6b2128e21f13614274e1373942af authored over 2 years ago

Note subsectionification in changelog

1325f20bb256953ad68e3ebd3b27bfe6dec72fb7 authored over 2 years ago

Make glossary entries real subsections

607fdf99a3be94d4f053b652c464e2c4f66b8bad authored over 2 years ago

Switch changelog dates to be subsections, not toplevel bullets

99ab5f6c78b7bfd29abbaecaef71aa8a5792e13e authored over 2 years ago

Add recent additions to changelog

52c5d49c0e1cc285a798e65af493652be2a2a279 authored over 2 years ago

Describe `on` operation

ba8613b1e1865dffea6bd5a0a6dd6e681030efdb authored over 2 years ago

Add "portable encrypted storage specific terminology"

Also add descriptions for each subsection

21ae3713a795194b188e94b1b61b02270702440a authored over 2 years ago

Bold each term that is relevant to the particular requirement being described

a8785b79c30f072a74ea6e8f3f1580757c707de2 authored over 2 years ago

Add portable encrypted storage section

0e2cc07e1dc7cbf4b0ea47b3fcf13efb694657d3 authored over 2 years ago

Mark a "lessons learned" section

937a042b6d965a69a3209ab34211bab51c886fa8 authored over 2 years ago

Update name of section in changelog too

abc22602752b7aca2c17b55f4f900806ab5164c2 authored over 2 years ago

Add an "(and beyond)" to the application and library safety section

23b3bcd078fc97646ff2e245f7b25c682eea6139 authored over 2 years ago

Fleshed out "Application and library safety" section

fd14e82f0384e05612d9013d12a3f66963b48729 authored over 2 years ago

linkify some stuff

1964648598a11766f0d7ea2ef5b89908ad4a5ffb authored over 2 years ago

Well it's no longer that it *has yet to be* reviewed, it's being reviewed

93129c7563d5ae2ac6397d3c776885e02a04bed3 authored over 2 years ago

Add custom ids to everything for fragment links which last

4d7c04de2d9adf59147f04ce0970a9ef9b23f75f authored over 2 years ago

Explain why we provide certificates

708c9fe6f183858b63e9ef0125a94daa434275d7 authored over 2 years ago

Add Robin Templeton to the set of reviewers

0dc2ee82e33e2caf8aeb5afe470c8296f3f4f1ab authored over 2 years ago

Define Principle of Least Authority

0c329e6588560880c315590edcab1f94cc3bb2b7 authored over 2 years ago

Define two more terms

3320a1f9a4ebe57cae423efe4397c59116cdefa1 authored over 2 years ago

Fix a link

36a249a4f03e06978795f16f4cf74d25937210d7 authored over 2 years ago

Fix a tyop: "lives on" not "live son"

3576a1bb0f76ed362637819487fc757a0c428dce authored over 2 years ago

Oops, finish the constructor definition

d739c60a109d8ede59d7970cd5493134711e2e75 authored over 2 years ago

Now THAT'S a GLOSSARY

599f9a659503627ed294081d8189fe3b0196d369 authored over 2 years ago

Add promise failure propagation section

4c7540547b80d77c699800085fe009d7cb113492 authored over 2 years ago

We can remove ^revoker since it isn't used

Thanks for the catch, jfred!

bb6bc034b8d36058339a0a317c5451d1872a82fa authored over 2 years ago

Note addition of society of networked objects in changelog

b627f2afbfc1349dd0ab7fd563d3c1487efd1ff0 authored over 2 years ago

Add "society of networked objects" section

6165a2720e3ab6df0425a9e354c1bc114b2c7002 authored over 2 years ago

Remove deprecated comment

65c61311614ef520f6f5ea5c1f06a84ec986ed2e authored over 2 years ago

Changelog for today

8c92207ae2feaea28014d7a148a25eaf21e39f21 authored over 2 years ago

Update export block to use parenthetical wrapper

8606c4061031728fc30cfa250a78ff0c40d5c338 authored over 2 years ago

Fix the outline heading levels on export

402ba010ce98e59770f480cfd4bb6b356a5b38b2 authored over 2 years ago

OCapN section

a4e365966ff1fd53cc1836b9d1b1c55e9ac87316 authored over 2 years ago

Ignore .html/.odt/.pdf exports

864510e4b2478367dafde1827f41cb5b4822f1d3 authored over 2 years ago

exports utils

09e6a9494d8ab2926e22fe68a678928ba212ae8a authored over 2 years ago

Tangled exports of Goblins code

2ca300f4d8352406499b9ca325a2880708e7d229 authored over 2 years ago

Fix tangled output name for simple-sealers.w

5d119219208e6acd12d53b26b2e3cb0110b4c39a authored over 2 years ago

Add headers, adjust tangle targets

0854432aff93875eabc3a84e55130d41675a63e5 authored over 2 years ago

Also forgot `yes` after `:tangle` here too

1be150171f28333e66751145c2ee0c5d188ec026 authored over 2 years ago

Forgot the "yes" after :tangle

331bfba2ecc21a3ee6028be7d955ed5d5d3ffe2e authored over 2 years ago

Set up tangle headers for all main src blocks

4fbe46234e0845ddf976e5d96463234c4c26bad1 authored over 2 years ago

Make defining gary also happen at REPL prompt

3476711895bc3d073d47e2922ac6ee17552d8a2d authored over 2 years ago

Switch wisp keyword lines to not need dot

Adjustment to wisp syntax after conversation with Arne, so I think
it's happening upstream too

eb52fb8606efee8a497b07d315c9d4e32379770f authored over 2 years ago

Moved sealers and unsealers implementation details to appendix

5ad3a5ab8f0d826b392f667ea8c6ca5ec373b3cd authored almost 3 years ago

Closing promise pipelining checkbox, that was done

bc4cb34088e5e7e1f4aeb312bd0c32530c1f399d authored almost 3 years ago

Make it clearer that Robert being held responsible for =admin-for-robert=

eca6e96e4c106dc03c97f9d417eb3d5ddc22097e authored almost 3 years ago

Fix comment explaining who is running interactive section

76d3bbfc0a83b8fb5bdcfb72c79d362764610b8d authored almost 3 years ago

Yeah I don't think we need to introduce <-np, so let's not

063bcd3b0602b4070bfe1e07da6bb98518fdb94b authored almost 3 years ago

Checking box for already done item

33d4f43ce43c74025732b225ae67b79bb40a448c authored almost 3 years ago

Explain that cons prepends to lists

a264a8f9fab29c20ca1b4763af88e44a2a4b7259 authored almost 3 years ago

Jessica's remaining feedback TODO

0eafd40fc35063d98ffd7a6e50bf8d8f60a0a7bd authored almost 3 years ago

shuffle the changelog to be about release date

0e5a167665c1b4244667dfdc099b1db1e7aa3730 authored almost 3 years ago

Correct explanation of recursive 'update method on ^editor

Had dropped the "named let" system already

9f8dfe1d09eb93c7d242fc4a3ad6e0ffcc238e55 authored almost 3 years ago

Some of Jessica's feedback

da0b135631e13a389a20c1008d2a836a9e8fee1a authored almost 3 years ago

Miror the "define data-triple" change in the document

4842cf9c36348fb18f21e8952f01f30994bb2b67 authored almost 3 years ago

first batch of changes suggested by Alan Karp

8f7e75790830c0e36e49ce2c046c49cfaf70b57b authored almost 3 years ago