Phase | alloc | time |
---|---|---|
Desugar [Paths_pandoc] | 640032 | 1.119 |
Simplifier [Paths_pandoc] | 12926056 | 17.214 |
Specialise [Paths_pandoc] | 230440 | 0.160 |
Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Paths_pandoc] | 1233960 | 0.774 |
Simplifier [Paths_pandoc] | 4764776 | 4.480 |
Simplifier [Paths_pandoc] | 3155904 | 2.865 |
Simplifier [Paths_pandoc] | 1244384 | 1.230 |
Float inwards [Paths_pandoc] | 4224 | 0.007 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;;; djot.el -*- lexical-binding: t -*- | |
;; Copyright (C) 2024 John MacFarlane | |
;; Author: John MacFarlane <jgm@berkeley.edu> | |
;; Keywords: lisp djot | |
;; Version 0.0.1 | |
;;; Commentary: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html xmlns="http://www.w3.org/1999/xhtml" lang xml:lang> | |
<head> | |
<meta charset="utf-8" /> | |
<meta name="generator" content="pandoc" /> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> | |
<title>undergradmath</title> | |
<style> | |
code{white-space: pre-wrap;} | |
span.smallcaps{font-variant: small-caps;} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!doctype html> | |
<html lang="en"> | |
<head> | |
<meta charset="utf-8" /> | |
<meta name="viewport" content="width=1024" /> | |
<meta name="apple-mobile-web-app-capable" content="yes" /> | |
<title>impress.js | presentation tool based on the power of CSS3 transforms and transitions in modern browsers | by Bartek Szopka @bartaz</title> | |
<meta name="description" content="impress.js is a presentation tool based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com." /> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*a | |
**a | |
*a | |
**a | |
*a | |
**a | |
*a | |
**a | |
*a | |
**a |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang=""> | |
<head> | |
<meta charset="utf-8" /> | |
<meta name="generator" content="pandoc" /> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> | |
<title>Untitled</title> | |
<style type="text/css"> | |
code{white-space: pre-wrap;} | |
span.smallcaps{font-variant: small-caps;} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
\documentclass[letter,$if(fontsize)$$fontsize$,$else$10pt,$endif$$if(lang)$$lang$,$endif$$if(papersize)$$papersize$,$endif$]{ucbletter} | |
\usepackage[T1]{fontenc} | |
\usepackage{mathpazo} | |
\usepackage{amssymb,amsmath} | |
\linespread{$if(linespread)$$linespread$$else$1.1$endif$} | |
\usepackage{ifxetex,ifluatex} | |
\usepackage{fixltx2e} % provides \textsubscript | |
% use upquote if available, for straight quotes in verbatim environments | |
\IfFileExists{upquote.sty}{\usepackage{upquote}}{} | |
\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{- $intro | |
The @pipes@ library replaces lazy 'IO' with a safe, elegant, and | |
theoretically principled alternative. Use this library if you: | |
* want to write high-performance streaming programs, | |
* believe that lazy 'IO' was a bad idea, | |
* enjoy composing modular and reusable components, or |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE OverloadedStrings #-} | |
{- | |
PERFORMANCE | |
Faster than pandoc and with better memory usage. | |
Both compiled with -O2. Latest dev pandoc 1.10. | |
Benchmarked on 178K markdown file. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# OPTIONS_GHC -Wall -fwarn-tabs #-} | |
{-# LANGUAGE ForeignFunctionInterface #-} | |
---------------------------------------------------------------- | |
-- Modified by John MacFarlane from an earlier benchmark by | |
-- wren ng thornton. | |
-- Normalized benchmark results: | |
-- | |
-- Compiled without optimization: | |
-- -------------------------------------------------------------- |
NewerOlder