Skip to content

Instantly share code, notes, and snippets.

View leafac's full-sized avatar

Leandro Facchinetti leafac

View GitHub Profile
@leafac
leafac / notes.md
Created August 25, 2021 13:19
Notes on Setting up Development Machines
const { Database, sql } = require("@leafac/sqlite");
const database = new Database("my-application.db");
const migrations = [
() => {
database.execute(
sql`
CREATE TABLE "users" (
"id" INTEGER PRIMARY KEY AUTOINCREMENT,
#SingleInstance force
![::
Send {“}
return
!+[::
Send {”}
return
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Hilbert</title>
</head>
<body>
<svg width="600" height="600" viewBox="0 0, 1 1">
#lang racket
; call/cc : ((α → β) → α) → α
; call/cc : ?
(+ 2 3)
(+ 2 (call/cc (λ (continuation) 3)))
#lang racket
(require redex)
(define-term initial-board [[· · ◼︎ ◼︎ ◼︎ · ·]
[· · ◼︎ ◼︎ ◼︎ · ·]
[◼︎ ◼︎ ◼︎ ◼︎ ◼︎ ◼︎ ◼︎]
[◼︎ ◼︎ ◼︎ ◻︎ ◼︎ ◼︎ ◼︎]
[◼︎ ◼︎ ◼︎ ◼︎ ◼︎ ◼︎ ◼︎]
[· · ◼︎ ◼︎ ◼︎ · ·]