search

argumentcomputer / lurk-lisp

Lisp implementation of Lurk.
MIT License
67 stars 6 forks source link

Update Language Specification #58

Closed winston-h-zhang closed 1 year ago

winston-h-zhang commented 2 years ago

The current spec is slightly out of date with what lurk-rs supports. This PR updates it as best as possible to match the current implementation.

winston-h-zhang commented 2 years ago

Hopefully, I've addressed most things and didn't butcher the section on commitments. I'm not sure what to call (comm ..) and settled for "commitment primitive," but please correct me.

porcuquine commented 2 years ago

I think in one place you just wrote 'commitment' rather than 'commitment primitive', and I think that's actually appropriate. Just as objects of type Num are numbers and Str are strings, those of type Comm are commitments.

winston-h-zhang commented 2 years ago

Hey, sorry for the delay, I've pushed the changes!

winston-h-zhang commented 1 year ago

@porcuquine the spec now reflects the new eval and u64 changes.