IvantheTricourne

{-# OPTIONS --without-K #-}

module Circle where

open import HoTT
open import Level using (_⊔_)
open import Data.Product using (Σ; _,_)
open import Function

-- Proof:

IvantheTricourne

{-# OPTIONS --without-K #-}

module Circle where

open import HoTT
open import Level using (_⊔_)
open import Data.Product using (Σ; _,_)
open import Function

-- Proof:

IvantheTricourne

module AST where

data AST = Val String
         | Fun [AST]
         deriving (Show)

takeWord :: String -> String -> (AST,String)
takeWord "" acc       = (Val acc,"")
takeWord (' ':cs) acc = (Val acc,cs)
takeWord (c:cs) acc   = takeWord cs (acc++[c])

IvantheTricourne

module Parser where

import Data.Char

data Token = OpenPar
           | ClosPar
           | Fun String
           | Value String
           | Error
           deriving (Show)

IvantheTricourne

from collections import deque

class Node:
  def __init__(self,value,children):
    self.value    = value
    self.children = children
  
  def __str__(self):
    return str(self.value)

IvantheTricourne

const fs = require('fs');
const _ = require('lodash');
const path = require('path');
const slp = require('slp-parser-js');
const SlippiGame = slp.default; // npm install slp-parser-js

const basePath = path.join(__dirname, 'slp/'); // this var is "<directory your script is in>/slp"

const outputFilename = "./combos.json";

IvantheTricourne

// slippi deps
const fs = require('fs');
const _ = require('lodash');
const path = require('path');
const slp = require('slp-parser-js');
const SlippiGame = slp.default; // npm install slp-parser-js
// cli deps
const yargs = require('yargs'); // npm install yargs

/////////////////////////////////////////////////////////////////