https://docs.google.com/presentation/d/1rSxcl7Ibz8wcVbSZoyhBWW_MLbnJjJMHmnLPhaeDtYw/edit?usp=sharing
This file contains hidden or 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
const fs = require('fs'); | |
const path = require('path'); | |
const {spaceName, paperNumbers} = require('./config.json'); | |
const knex = require('knex')({ | |
client: 'pg', | |
connection: process.env.DATABASE_URL, | |
}); | |
const initialCode = fs.readFileSync(path.join(__dirname, 'initial-code.js'), 'utf8') |
This file contains hidden or 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
Function Search | |
Start | |
search -> Start with Results | |
Start with Results | |
select function -> Function | |
delete all -> Start | |
Module | |
backspace -> Start | |
search -> Module | |
select function -> Function |
This file contains hidden or 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
App | |
Todo& | |
Completion | |
Pending | |
toggle -> Done | |
Done | |
toggle -> Pending | |
Mode |
This file contains hidden or 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
TodoItem& | |
Completion | |
Done | |
toggle -> Pending | |
Pending | |
toggle -> Done | |
Mode | |
Reading |
This file contains hidden or 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
// This file is automatically generated from the state chart and the frames | |
export default TodoItem; | |
const TodoItem = new EntityDefinition({ | |
name: 'Todo', | |
isParallel: true, | |
states: { |
This file contains hidden or 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 React from 'react' | |
import ReactDOM from 'react-dom/client' | |
import {RoomDB} from "./roomdb.js"; | |
const root = ReactDOM.createRoot(document.getElementById('root')) | |
const db = new RoomDB(); | |
db.claim(["Aachen", "lat", 50.775555]) |
This file contains hidden or 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
const AACHEN = { lat: 50.7753, long: 6.0839 }; | |
reaction( | |
() => Day.getAll(), | |
(days) => { | |
days.forEach(async (day) => { | |
const forecast = await getWeatherForecast(AACHEN, day.start, day.end); | |
if (!forecast) { |
This file contains hidden or 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 os | |
def declare_output(path): | |
absolute_path = os.path.abspath(path) | |
print(f"jacquard: declare output {absolute_path}") | |
def declare_input(path): | |
absolute_path = os.path.abspath(path) | |
print(f"jacquard: declare input {absolute_path}") |