Skip to content

Instantly share code, notes, and snippets.

View andreypopp's full-sized avatar
🏠
Working from home

Andrey Popp andreypopp

🏠
Working from home
View GitHub Profile
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
#!/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")
@andreypopp
andreypopp / main.ml
Last active September 16, 2022 17:11
(* 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
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
version: "3.3"
services:
postgres:
image: postgres:12
volumes:
- type: volume
source: pgdata
target: /var/lib/postgresql/data
environment:
- POSTGRES_HOST_AUTH_METHOD=trust
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;
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
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
version: "3.3"
services:
postgres:
image: postgres:12
volumes:
- type: volume
source: pgdata
target: /var/lib/postgresql/data
environment:
- POSTGRES_HOST_AUTH_METHOD=trust
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",