joehendrix

class Friend {
  constructor() {
    console.log('Hello friend')
  }
}


function f() {
  new Object()
}

joehendrix

{-# LANGUAGE OverloadedStrings #-}
import           Control.Monad
import           Data.Foldable
import           Data.IntMap (IntMap)
import qualified Data.IntMap as IMap
import           Data.Map (Map)
import qualified Data.Map as Map
import           Data.Maybe
import           Data.Set (Set)
import qualified Data.Set as Set

joehendrix

{-# LANGUAGE OverloadedStrings #-}
import           Control.Monad
import           Data.Foldable
import           Data.IntMap (IntMap)
import qualified Data.IntMap as IMap
import           Data.Map (Map)
import qualified Data.Map as Map
import           Data.Maybe
import           Data.Set (Set)
import qualified Data.Set as Set

joehendrix

namespace nat.tactic

open nat
open tactic

meta def match_le (e : expr) : tactic (expr × expr) :=
match expr.is_le e with
| (some r) := return r
| none     := tactic.fail "expression is not a leq"
end