MarchLiu

{"name":"C.N.1","description":"Things which are equal to the same thing are also equal to one another.","references":[]}
{"name":"C.N.2","description":"If equals be added to equals, the wholes are equal.","references":[]}
{"name":"C.N.3","description":"If equals be subtracted from equals, the remainders are equal.","references":[]}
{"name":"C.N.4","description":"Things which coincide with one another are equal to one another.","references":[]}
{"name":"C.N.5","description":"The whole is greater than the part.","references":[]}
{"name":"Def.1.1","description":"A point is that which has no part.","references":[]}
{"name":"Def.1.10","description":"When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular to that on which it stands.","references":[]}
{"name":"Def.1.11","description":"An obtuse angle is an angle greater than a right angle.","references":[]}
{"name":"Def.1.12

MarchLiu

;; parsec.clj
(defmacro =>>
    "Threads the state through the parsers. Inserts state as the
  parameter in the first parser. If there are more parsers,
  inserts the first residue as the second state in second parser, etc.
  If a parser throw exception, throw it and exit, else return all bind result
  as a dictionay and residue data.
    "
    [data & forms]
    (loop [data (list (list return {}) data), forms forms]

MarchLiu

package main
 import (
     "fmt"
     "github.com/Dwarfartisan/pgears"
"time" )
 var Engine *pgears.Engine
 type Usertbl struct{
     Name string           `field:"name" pk:"true"`
     Signup_date time.Time `field:"signup_date"`
 }

MarchLiu

var sep = function(s, p) {
    var fun = function(state){
        return choice(sep1(s, p), [])
    };
    parsec(fun);
    return fun;
};
sep.prototype = parsec;

var sep1 = function(s, p) {

MarchLiu

//either parsec
pub fn either<T, R>(x: Parsec<T, R>, y: Parsec<T, R>)->Either<T, R> {
    Either{
        x: x,
        y: y,
    }
}

impl<'a, T, R> FnOnce<(&'a mut VecState<T>, )> for Either<T, R> {
    type Output = Status<R>;

MarchLiu

pub trait BinComb<L, R, T> {
    type S;
    fn left(&self)->&mut Parsec<L, Self::S>;
    fn right(&self)->&mut Parsec<R, Self::S>;
}

pub struct Either<R, S>{
    x: Parsec<R, S>,
    y: Parsec<R, S>,
}

MarchLiu

use std::vec::Vec;
use std::iter::{Iterator, Map};

pub trait Functor<A, B, F: FnMut(&A) -> B> {
    type Output;
    fn fmap(&self, f: F ) -> <Self as Functor<A, B, F>>::Output;
}

pub trait FunctorMut<A, B, F: FnMut(&A) -> B> {
    type Output;

MarchLiu

import urllib2  
opener = urllib2.build_opener(urllib2.HTTPHandler)  
with open("/storage/pic/logo.png") as f:  
    data=f.read()  
request = urllib2.Request("http://localhost:8080/logo.png", data=data)  
request.add_header("Content-Type", "image/png")  
request.get_method = lambda:"PUT"  
url = opener.open(request)