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

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

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

nponeccop

{-# LANGUAGE GADTs, NoMonomorphismRestriction, StandaloneDeriving, Rank2Types #-}

import Compiler.Hoopl
import Prelude hiding ((<*>))

data Node e x where
	Entry :: Label -> Node C O
	Exit :: [Label] -> Node O C

instance NonLocal Node where

nponeccop

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

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

10 charts of 1070 points each

The axes are still the bottleneck, so I reduced tick count

nponeccop

license: gpl-3.0