Sandbox

Windows

A differential graded scheme (dg-scheme) is a [[scheme]] (X,OX) together with a [[sheaf]] OX of nonnegatively graded commutative [[dg algebra|differential graded]] OX-[[dg algebra|algebras]], such that OXH0(OX) is [[surjective]].

test page

[[test page 2]]

sssss page

θ3

ϕ 1. one a. aye b. beee 2. two c. cee d. dee

test wiki link

another/line

Test quote > this a quote test > another line > add

How on earth is it possible to install this amazing piece of software on Doors ?

And where did that double-click-to-edit go?

import foo;
1
2
3
4
5
6
7
commentText  ArrowXml cat  cat XmlTree [Block]
commentText = listA (getChildren
                     ⋙ xpath "span/font"
                     ⋙ ((listA (getChildren ⋙ par) ⋙ arr Para)
                        `orElse` (listA (getChildren ⋙ hasName "p" /> par) ⋙ arr Para))
                    )
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# merge.py - directory-level update/merge handling for Mercurial
#
# Copyright 2006, 2007 Matt Mackall <mpm@selenic.com>
#
# This software may be used and distributed according to the terms
# of the GNU General Public License, incorporated herein by reference.

from node import *
from i18n import _
import errno, util, os, tempfile, context, heapq

def filemerge(repo, fw, fd, fo, wctx, mctx):
    """perform a 3-way merge in the working directory

    fw = original filename in the working directory
    fd = destination filename in the working directory
    fo = filename in other parent
    wctx, mctx = working and merge changecontexts
    """
1
2
3
function foo(t)
   for k,v in pairs(t) do print(k,v) end
end
Fruit Price Advantages

Bananas

$1.34 +

  • built-in wrapper ——————–+
  • bright color

Oranges

$2.10

  • cures scurvy
  • tasty
  • This is it
  • And this too

diagram1

Test of LaTeX typesetting:

N(x)=12πex2/2dx

Math: x=b±b24ac2a

[[Bozo]]

MyTestPage

Inductive and (P Q : Prop) : Prop :=
  conj : P -> Q -> (and P Q). 

[[Latest]]

alt text

alt text

練習用