Harold Carr

Long tut alpha equivalence

5

Language `Lambda/n` is defined and used in a test, but the =a(lpha) function is defined in terms of language `SD` and uses the `sd` metafunction that is also defined on...

change eb1 expected test results to #true

4

Even though `y` is free, it seems the grammar allows this. So expected results were wrong.

env does not work on mac os

15

``` > flk Fleck 24461e38 user> (env) env: illegal option -- 0 usage: env [-iv] [-P utilpath] [-S string] [-u name] [name=value ...] [utility [argument ...]] {} ```

C interface to "crypto"

3

Could a C interface be provide (like is done for Hyperledger Ursa)? That would make it possible to use the crypto library from other languages.

The following parses correctly: ``` (ssh-parse-words "192.168.1.6 -l me -o 'RemoteCommand hostname'") => ("192.168.1.6" "-l" "me" "-o" "RemoteCommand hostname") ``` Here is the problem: ``` (ssh-parse-words "192.168.1.6 -l me -o...

`inline-java` and `inline-r` are in nixpkgs: ``` inline-java-0.10.0 inline-r-0.10.5 ``` seem like `inline-js` should be there too

I tried the guesthouse and it worked, no problem. Then I added one dependency - a project of mine that uses prismatic/schema 0.4.4. Then, when I do ``` lein repl...

example code broke

1

I just downloaded the zip of rook then: ``` unzip ~/Downloads/rook-master.zip cd rook-master/manual/code/example/ lein run ``` and get (after dependencies are downloaded, including medley): ``` java.io.FileNotFoundException: Could not locate medley/core__init.class...

It would be MUCH easier to read and jump around if there were a table of contents.

running issue-xbrl-attestation.sh creates files/dirs in repo

3

Using a2bab90 (development branch). After running `./keripy/scripts/demo/vLEI/issue-xbrl-attestation.sh` the following files/directories were created: ``` ./keripy/credential.json ./keripy/src/keri/demo/logs ./keripy/src/keri/end/logs ``` It seems, after reading, `./keripy/scripts/demo/README.md`, that these should probably be written to one...