- Install docker
- Install docker-compose
- Create a new directory, and put
docker-compose.yml
inside - Start the container
docker-compose up -d
- Enter the container
docker exec -it -u dev eth-dev /bin/bash --init-file /home/dev/.profile
We can make this file beautiful and searchable if this error is corrected: It looks like row 10 should actually have 10 columns, instead of 8 in line 9.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
concept_id,concept_name,domain_id,vocabulary_id,concept_class_id,standard_concept,concept_code,valid_start_date,valid_end_date,invalid_reason | |
,Ethnicity,race/ethnicity,CDC_Race_Ethnicity_v1.2,[NULL],C,2133-7,03/31/2000,12/31/2099,[NULL] | |
38003563,Hispanic or Latino,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2135-2,1/1/1970,12/31/2099,[NULL] | |
,Spaniard,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2137-8,03/31/2000,12/31/2099,[NULL] | |
,Andalusian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2138-6,03/31/2000,12/31/2099,[NULL] | |
,Asturian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2139-4,03/31/2000,12/31/2099,[NULL] | |
,Castillian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2140-2,03/31/2000,12/31/2099,[NULL] | |
,Catalonian,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2141-0,03/31/2000,12/31/2099,[NULL] | |
,Belearic Islander,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2142-8,03/31/2000,12/31/2099,[NULL] | |
,Gallego,race/ethnicity,CDC_Race_Ethnicity_v1.2,Ethnicity,S,2143-6,03/31/2000 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Defined by Kenny: | |
"Identification and selection of directors, officers, and other important roles in the Cooperative, subject to Board approval. | |
Oversee selection of Executive Committee general membership." | |
(https://github.com/rchain/bounties/issues/118#issuecomment-338691846) | |
(https://docs.google.com/document/d/10dOEW458zNCME8hArp-BHyXCUG9lAEjNB-cAf_k8s9c/edit) | |
REI: | |
The primary purposes of the Committee are to (i) assist the Board of Directors in identifying | |
individuals qualified to become members of the Board; (ii) recommend nominees for election to the | |
Board at each annual meeting; (iii) recommend nominees for the appointed Director positions |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import collection.immutable.Map | |
import scala.annotation.tailrec | |
object Rho { | |
// Inputs is the type that defines all of our "listeners" in a process. | |
// They are uniquely identified by the Name being listened on, and a following process. | |
// There is no need to store the bound name here, as the bound name will be replaced by an identifier | |
// based on its position in a process. (Similar to a De Bruijn Index). Two inputs will be regarded as equivalent | |
// if they only differ in the bound names (are alpha equivalent). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module PI-SYNTAX | |
imports ID | |
syntax Name ::= Id | |
syntax Process ::= NormalProcess | |
| Process "|" Process [klabel(Par), left] | |
| "!" Process [klabel(Replication)] | |
| "(" "nu" Name ")" Process [klabel(New)] | |
| "(" Process ")" [bracket] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
object Rho { | |
// Grammar Definition | |
sealed trait P | |
case class zero() extends P // 0 | |
case class input( y: X, x: X, p: P ) extends P // for(y <- x) { p } | |
case class lift( x: X, q: P ) extends P // x!(q) | |
case class drop( x: X ) extends P // *x | |
case class parallel( p: P, q: P ) extends P // p | q |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import LinkedList in { | |
contract makeGameBoard(return) { | |
new players in { | |
players!([]) | | |
contract registerPlayer(endorse) { | |
new friends, getFriends in { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ | |
"url": "https://api.github.com/repos/rchain/Members/issues/175", | |
"repository_url": "https://api.github.com/repos/rchain/Members", | |
"labels_url": "https://api.github.com/repos/rchain/Members/issues/175/labels{/name}", | |
"comments_url": "https://api.github.com/repos/rchain/Members/issues/175/comments", | |
"events_url": "https://api.github.com/repos/rchain/Members/issues/175/events", | |
"html_url": "https://github.com/rchain/Members/issues/175", | |
"id": 274385192, | |
"number": 175, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/** | |
* Retrieves all the rows in the active spreadsheet that contain data and logs the | |
* values for each row. | |
* For more information on using the Spreadsheet API, see | |
* https://developers.google.com/apps-script/service_spreadsheet | |
*/ | |
function readRows() { | |
var sheet = SpreadsheetApp.getActiveSheet(); | |
var rows = sheet.getDataRange(); | |
var numRows = rows.getNumRows(); |