paldepind

Keybase proof

I hereby claim:

• I am paldepind on github.
• I am paldepind (https://keybase.io/paldepind) on keybase.
• I have a public key ASD8KH9Ww6dB3tn7d8hJkbL3zhgaChfCqHn-T7JnVfjThgo

To claim this, I am signing this object:

paldepind

import 'package:flutter/material.dart';

void main() => runApp(const LogoApp());

double? first = null;

class AnimatedLogo extends AnimatedWidget {
  const AnimatedLogo({super.key, required Animation<double> animation})
      : super(listenable: animation);

paldepind

import 'package:flutter/material.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return MaterialApp(
        home: Theme(
            data: ThemeData(brightness: Brightness.dark),

paldepind

import 'package:flutter/cupertino.dart';

void main() => runApp(TestApp());

class TestApp extends StatelessWidget {
  @override
  Widget build(BuildContext context) {
    return const CupertinoApp(
        home: CupertinoTheme(
            data: CupertinoThemeData(brightness: Brightness.dark),

paldepind

From iris.bi Require Import bi.
Import bi.
From iris.proofmode Require Import tactics environments intro_patterns monpred.

Section intuit_to_spatial.
  Context {PROP : bi}.

  Implicit Types Γ Γp Γs : env PROP.
  Implicit Types Δ : envs PROP.
  Implicit Types P Q : PROP.

paldepind

From Coq Require Import QArith Qcanon.
From stdpp Require Export base decidable option numbers.

(* Strictly positive rationals *)

(* Positive fractions. *)
Record Qpos : Set := mk_Qpos {
  Qpos_num : positive;
  Qpos_den : positive
}.

paldepind

const fs = require("fs");

const bundle = fs.readFileSync("path-to-webpack-bundle.html", "utf8");

const escaped = JSON.stringify(bundle);
const js = `export default ${escaped}`;

fs.writeFileSync("javascript-output-file.ts", js);

paldepind

module Experiment
  ( mapHeterogenousRecord
  , mapRecordBuilder
  , class MapRecord
  ) where

import Prelude

import Prim.Row as Row
import Prim.RowList as RL

paldepind

const model = (animation: Animation) => fgo(function* model({ playPauseS, replayS }: ToModel) {
  const playingB: Behavior<boolean> = yield sample(scan((_, b) => !b, false, playPauseS));
  const playingSpeedB = map((b) => b ? 1 : 0, playingB);
  const initialTimeB = yield sample(integrate(playingSpeedB));
  const positionB = yield sample(switcher(initialTimeB, snapshot(integrate(playingSpeedB), replayS)));
  return [{ positionB, playingB }, {}];
});

const view = ({ playingB, positionB }: ToView): any => [
  button({output: {click: "playPauseS"}}, icon(playingB.map((b) => b ? "pause" : "play_arrow"))),

paldepind

// Welcome! require() some modules from npm (like you were using browserify)
// and then hit Run Code to run your code on the right side.
// Modules get downloaded from browserify-cdn and bundled in your browser.

let {addIndex, chain, curry, map, range} = require("ramda")
let snabbdom = require("snabbdom")
let h = require("snabbdom/h")
let hh = require("hyperscript-helpers")

let {div, span} = hh(h)