nponeccop

Lightning fast SVG chart

3x improvement vs previous version: 24 vs 8 vps on LG L90 Duos

High-end phones should all give 60 fps now

nponeccop

The code uses a slightly modified version of d3-axis component.

nponeccop

nponeccop

var parse = require('sexpr-plus').parse
var Q = require('q')

var ops = {
        '+' : (a, b) => a + b
,       '-' : (a, b) => a - b
,       '*' : (a, b) => a * b
}

function eval(p)

nponeccop

{-# LANGUAGE TypeFamilies, DeriveFunctor, OverloadedStrings, DeriveFoldable, FlexibleContexts #-}
module Main (main) where
import Prelude hiding (Foldable)
import qualified Prelude as P (Foldable)
import Data.Functor.Foldable
import Data.Foldable (toList)
import Language.Sexp
import Data.Maybe

data Op = Plus | Star | Minus deriving Show

nponeccop

nponeccop

namespace foo

definition bool := ∀ a : Type, a → a → a
definition tt : bool := λ (a : Type) (c d : a), c
definition ff : bool := λ (a : Type) (c d : a), d
definition bor (a b : bool) : bool := a bool tt b

definition boolProp := ∀ a : Prop, a → a → a

definition ind_on_T := ∀ P : bool → Prop, ∀ a : bool, P tt → P ff → P a

nponeccop

{-# LANGUAGE Rank2Types #-}
module Main where
-- data Cont r a = Cont { runCont :: (a -> r) -> r }

import Control.Monad.Cont

calculateLength :: [a] -> Cont r Int
calculateLength l = return (length l)

type ContS r a = (a -> r) -> r

nponeccop

<?xml version="1.0"?>
<scpd xmlns="urn:schemas-upnp-org:service-1-0">
<specVersion>
<major>1</major>
<minor>0</minor>
</specVersion>
<actionList>
<action>
<name>GetPersistentData</name>
<argumentList>

nponeccop