holtzermann17

;;; pars.el — convert Project Action Review (in org mode) to XML

;; Copyright (c) 2020 Joseph Corneli <joseph.corneli@hyperreal.enterprises>

;;; License: AGPL 3.0

;; This program is free software: you can redistribute it and/or
;; modify it under the terms of the GNU Affero General Public License
;; as published by the Free Software Foundation, either version 3 of
;; the License, or (at your option) any later version.

holtzermann17

<!-- ¶ Thu, 5 Mar, 17:06-->
<?xml version="1.0" encoding="UTF-8"?>
<peeragogical-action-review title="Thu, 5 Mar, 17:06" xmlns="htx-scheme-id://org.peeragogy.20120221/patterns/peeragogical-action-review.20200511T003600Z" xmlns:html="http://www.w3.org/1999/xhtml">
<participants>TBA</participants>
<intention-review>
We wanted to keep learning peeragogy as part of the course

Wanted to work on paper
</intention-review>
<what-happened>

holtzermann17

;;; Org Tree Slide

(require 'org-tree-slide)

;; Weird but needed to get images to respond
(setq org-image-actual-width '(3))

(setq org-tree-slide-slide-in-effect nil)
(setq org-tree-slide-skip-outline-level 3)

holtzermann17

mkdir ibm
cd ibm
git clone https://github.com/IBM/pyflowgraph.git
git clone https://github.com/epatters/semanticflowgraph
wget https://julialang-s3.julialang.org/bin/linux/x64/1.4/julia-1.4.2-linux-x86_64.tar.gz
tar -zxvf julia-1.4.2-linux-x86_64.tar.gz
sudo cp -r julia-1.4.2 /opt/
sudo ln -s /opt/julia-1.4.2/bin/julia /usr/local/bin/julia

cd pyflowgraph/

holtzermann17

Keybase proof

I hereby claim:

• I am holtzermann17 on github.
• I am holtzermann17 (https://keybase.io/holtzermann17) on keybase.
• I have a public key ASC4sXJqxOi9Ql8u5JQXlFzV6_BCPsWnBQeHpi3gl8cANgo

To claim this, I am signing this object:

holtzermann17

import topology.basic analysis.complex.exponential
import tactic.core
open real set

open tactic

meta def refine_list_expr : list expr → tactic unit
| []     := fail "no matching rule"
| (h::t) := do (refine ``(%%h _ _)) <|> refine_list_expr t

holtzermann17

data:application/json,{"configversion":"1.1","ignoremaps":{"<S-Insert>":"mode normal","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<S-Escape>":"mode normal","I":"mode normal"},"inputmaps":{"<Escape>":"composite unfocus | mode normal","<C-[>":"composite unfocus | mode normal","<C-i>":"editor","<Tab>":"focusinput -n","<S-Tab>":"focusinput -N","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<C-^>":"buffer %23"},"imaps":{"<Escape>":"composite unfocus | mode normal","<C-[>":"composite unfocus | mode normal","<C-i>":"editor","<CA-Escape>":"mode normal","<CA-`>":"mode normal","<C-6>":"buffer %23","<C-^>":"buffer %23","<S-Escape>":"mode ignore"},"nmaps":{"<A-p>":"pin","<A-m>":"mute toggle","<F1>":"help","o":"fillcmdline open","O":"current_url open","w":"fillcmdline winopen","W":"current_url winopen","t":"fillcmdline tabopen","]]":"followpage next","[[":"followpage prev","[c":"urlincrement -1","]c":"urlincrement 1","<C-x>":"urlincrement -1","<C-a>":"urlincrement 1","T":"current_url tabopen","yy":"clipboard 

holtzermann17

$  stack build && stack exec rasa
these paths will be fetched (164.98 MiB download, 1381.27 MiB unpacked):
  /nix/store/0cr6kv5knm0ygp5l2ambrpg4zwqh7kv8-perl5.28.0-HTML-Parser-3.72
  /nix/store/1961kbxdd3iqi2ynwz6xvx6iq87a10wh-perl5.28.0-HTTP-Date-6.02
  /nix/store/2p8yz7z62qmnzrz75c0fmyh135v4v7vd-perl5.28.0-LWP-MediaTypes-6.02
  /nix/store/4q5g8jvh0cxnhnb5jy0z58m4lqqda3qq-mpfr-4.0.1
  /nix/store/553xa5p2bah0s1a0bfbqs56zhanib28r-readline-6.3p08
  /nix/store/5dv7yx9i7lc7xccrhs7zg98jrl097xvv-Security-osx-10.9.5
  /nix/store/5gv2f6rjcvqgjb7lfaww3fvddhhd8mq8-libkrb5-1.15.2
  /nix/store/5l52wvj3ypm7rspmnvkydzp2scphp0x5-configd-osx-10.8.5

holtzermann17

/*======================================================================
 Core CSS for LaTeXML documents converted to (X)HTML */
/* Generic Page layout */
.ltx_page_header,
.ltx_page_footer { font-size:0.8em; }
.ltx_page_header *[rel~="prev"],
.ltx_page_footer *[rel~="prev"] { float:left; }
.ltx_page_header *[rel~="up"],
.ltx_page_footer *[rel~="up"]   { display:block; text-align:center; }
.ltx_page_header *[rel~="next"],

holtzermann17

.ltx_title_document      { font-size:170%; text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_authors,
.ltx_role_author         { text-align:center; margin:0.5em 0 0.5em 0; }
.ltx_role_author .ltx_personname  { font-size: 120%; }
.ltx_date        { text-align:center; font-size: 120%; margin:0.5em 0 0.5em 0; }
.ltx_subtitle    { text-align:center; font-size: 120%; padding-left:0.2em; margin-left:-0.5em; }

.ltx_title_abstract      { text-align:center; font-size: 100%; font-weight:bold; }
.ltx_abstract { margin-left:4em; margin-right:4em; }