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
of‿merge‿pop←{ | |
L‿V‿P‿·‿R←{𝕩⊑⊢}¨↕5,We←{𝕊@:0;3⊑𝕩} | |
Merge⇐{ | |
@𝕊𝕩:𝕩;𝕨𝕊@:𝕨; | |
𝕨>○V𝕩?𝕩𝕊𝕨; | |
w𝕊x: | |
m←w R⊸𝕊 x | |
(L w) { | |
𝕨≥𝕩?(L w)‿(V w)‿(P w)‿(𝕩+1)‿m; | |
m‿(V w)‿(P w)‿(𝕨+1)‿(L w)}○We m |
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
#!/bin/bash | |
for i in "$@"; do | |
if [[ $i == "-config" ]]; then | |
exec "/home/andreypopp/workspace/melange/_opam/bin/ocamlc" "$@" | |
fi | |
done | |
declare -a bsargs | |
bsargs=("-I" "/home/andreypopp/workspace/melange/melange/_esy/default/build/default/jscomp/stdlib-412") |
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
(* An example of a predefined expression | |
The expression is designed to be computed in a join scope between backlinks | |
and page_info. Below we show how to reuse this expression with a scope of a | |
different shape. | |
*) | |
let hash_sum s = | |
Sqml.Expr.( | |
let link_dst_root_hash = s #- backlinks #-> link_dst_root_hash in | |
let src_root_hash = s #- page_info #?> src_root_hash 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
CREATE QUERY all_usernames AS | |
SELECT ?fields... FROM ( | |
SELECT | |
user.is_active AS is_really_active, | |
... | |
FROM user | |
WHERE ?where:Bool | |
) AS user | |
LEFT JOIN ( | |
SELECT ... FROM user |
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
version: "3.3" | |
services: | |
postgres: | |
image: postgres:12 | |
volumes: | |
- type: volume | |
source: pgdata | |
target: /var/lib/postgresql/data | |
environment: | |
- POSTGRES_HOST_AUTH_METHOD=trust |
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
diff --git a/docker-compose.yml b/docker-compose.yml | |
index 81b910aac..1b8c62512 100644 | |
--- a/docker-compose.yml | |
+++ b/docker-compose.yml | |
@@ -69,37 +69,19 @@ services: | |
- -exc | |
- | | |
cat > /etc/nginx/conf.d/default.conf <<'EOF' | |
- map $$uri $$app_user { | |
- "~^(/~(?<user>[^/]+))" $$user; |
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 non_nullable | |
type nullable | |
type non_agg | |
type +'a agg constraint 'a = < .. > | |
module Scope : sig | |
type (+'a, 'nullability, +'agg) any_scope constraint 'a = < .. > | |
type +'a scope = ('a, non_nullable, non_agg) any_scope | |
type +'a nullable_scope = ('a, nullable, non_agg) any_scope | |
type (+'a, +'agg) aggregate_scope = ('a, non_nullable, 'agg agg) any_scope |
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 name = string | |
type non_nullable = [ `value ] | |
type nullable = [ `null | `value ] | |
module Scope : sig | |
type (+'a, 'nullability) any_scope | |
constraint 'a = < .. > constraint 'nullability = [< nullable ] | |
type +'a scope = ('a, non_nullable) any_scope | |
type +'a nullable_scope = ('a, nullable) any_scope |
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
version: "3.3" | |
services: | |
postgres: | |
image: postgres:12 | |
volumes: | |
- type: volume | |
source: pgdata | |
target: /var/lib/postgresql/data | |
environment: | |
- POSTGRES_HOST_AUTH_METHOD=trust |
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
diff --git a/js/package.json b/js/package.json | |
index 1c40d9dc0..889ca83c8 100644 | |
--- a/js/package.json | |
+++ b/js/package.json | |
@@ -40,6 +40,7 @@ | |
"**/react": "16.8.1", | |
"**/react-dom": "16.8.1", | |
"**/react-router": "5.1.2", | |
- "**/react-router-dom": "5.1.2" | |
+ "**/react-router-dom": "5.1.2", |