Commit graph

110 commits

Author SHA1 Message Date
Sergiu Ivanov
bdff8e31c9 eval-with: Explicitly say that the evaluation happens in a fresh namespace. 2020-02-19 22:51:49 +01:00
Sergiu Ivanov
404362a91c utils: Remove type annotations.
I am very early in my project, and I have already spent literal days
trying to make the types fit together.

I'm trying contracts next.
2020-02-19 22:49:50 +01:00
Sergiu Ivanov
9cbfcfca4b utils: Add extract-symbols. 2020-02-19 22:11:44 +01:00
Sergiu Ivanov
912fe95891 utils: Better highlight section titles. 2020-02-18 00:00:18 +01:00
Sergiu Ivanov
f18d47952f utils: Remove some extra code at the end of the module. 2020-02-17 23:53:38 +01:00
Sergiu Ivanov
9908df4a7b utils: Add eval-with, eval-with1, and tests. 2020-02-17 23:52:36 +01:00
Sergiu Ivanov
a385f2e464 utils: Mention that auto-hash-ref/explicit and auto-hash-ref/: take 1 body. 2020-02-17 00:27:04 +01:00
Sergiu Ivanov
cb45bea4c9 auto-hash-ref/: : Add. 2020-02-17 00:16:44 +01:00
Sergiu Ivanov
51e7ba3072 auto-hash-ref/explicit: Add an example to the comment. 2020-02-17 00:16:01 +01:00
Sergiu Ivanov
c33641fd66 utils: Start and auto-hash-ref/explicit.
Also add the tests for utils.
2020-02-16 21:39:42 +01:00