Henry Story comments

Results 422 comments of


                                            Henry Story

how to parse a csv file with a metadata file

After placing the metadata file with the name `pplex.csv-metadata.json` in the same directory as the csv file i was able to produce the RDF with ``` rdf serialize --input-format tabular...

how to parse a csv file with a metadata file

I write something up here: https://github.com/w3c/csvw/issues/885

Usolved Metas

After working on a few files that error message disappeared but I still get it another file `src/Web/Semantic/DL/Category.agda` ``` Error /Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category.agda:4,1-44 Unsolved metas at the following locations: /Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:99,9-17 /Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:99,35-43 /Volumes/Dev/Programming/Proof/Agda/agda-web-semantic/src/Web/Semantic/DL/Category/Composition.agda:105,9-17...

Usolved Metas

This commit deals with the "Unsolved Metas" problem https://github.com/bblfish/agda-web-semantic/commit/064ed896b3559d5d369ac807216a6e324911d5b4 There seem to be a few more problems to get a full clean compile.

specify metadata file by command line option

Thanks for moving the issue. I had not noticed I was on the wrong repository. A better example from the one I gave above would be one where the csv...

Can RSA keys be expressed as did:key ?

Thanks. Would that then also contain information about the hashing algorithm to use? ie. rsaSha512, rsaSha384, etc... see [RsaTest](https://github.com/tomitribe/http-signatures-java/blob/master/src/test/java/org/tomitribe/auth/signatures/RsaTest.java).

did:key, Credentials and Signing Http Messages for Solid

Where would I add a PR to add reference to HTTPSig?