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
richou@PC-RICHOU:~$ git clone https://github.com/dmitriz/mithril.js.git | |
Cloning into 'mithril.js'... | |
remote: Counting objects: 12237, done. | |
remote: Total 12237 (delta 0), reused 0 (delta 0), pack-reused 12237 | |
Receiving objects: 100% (12237/12237), 6.21 MiB | 1.82 MiB/s, done. | |
Resolving deltas: 100% (8565/8565), done. | |
Checking connectivity... done. | |
richou@PC-RICHOU:~$ cd mithril.js/ |
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
type coordinates = {x: int; y: int} (* Define a record type for coordinates *) | |
type player = {name: string; coordinates: coordinates} (* Define a record type for players *) | |
let richou = {name = "Richou"; coordinates = {x=0; y=0}} (* Define a new player *) | |
(* This is called a functional update. | |
* It creates a new record "based on" an existing record. | |
*) | |
let richou2 = {richou with coordinates = {x=1; y=1}} |
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
@prefix : <http://www.example.org#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.example.org> . | |
<http://www.example.org> rdf:type owl:Ontology . |
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
@prefix : <http://www.example.com#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.example.com> . | |
<http://www.example.com> rdf:type owl:Ontology . |
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
@prefix : <http://www.example.com#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.example.com> . | |
<http://www.example.com> rdf:type owl:Ontology . |
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
@prefix : <http://www.richarddegenne.com/ontology/astronomy#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.richarddegenne.com/ontology/astronomy> . | |
<http://www.richarddegenne.com/ontology/astronomy> rdf:type owl:Ontology . |
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
@prefix : <http://www.richarddegenne.com/ontology/family#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix xml: <http://www.w3.org/XML/1998/namespace> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@base <http://www.richarddegenne.com/ontology/family> . | |
<http://www.richarddegenne.com/ontology/family> rdf:type owl:Ontology . |
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
# ... | |
ZSH_THEME="custom-agnoster" | |
# ... |