Steve Mao stevemao

## index.html
<head>
    <script src="//cdnjs.cloudflare.com/ajax/libs/d3/4.8.0/d3.min.js"></script>
    <script src="//unpkg.com/d3-force-bounce"></script>
    <script src="//unpkg.com/d3-force-constant"></script>

    <link rel="stylesheet" href="style.css">
</head>

<body>
    <svg id="canvas">

## pres.js
const i = (css) => document.head.insertAdjacentHTML('beforeend', `<style id="pres" class="pres">${css}</style>`);

const ir = () => document.getElementById("pres").outerHTML = "";

## bookmarks.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              1 star
            
          
        
        
          
              
          
          
            
                stevemao
                / bookmarks.md
            
            
              Created
              April 19, 2020 00:48
                — forked from haskie-lambda/bookmarks.md
            
              
                A collection of bookmarks
              
          
        
      
        
  
      
    Bookmarks

A collection of bookmarks covering the topics of

functional programming with haskell
type theory
category theory
formal verification
interesting stuff for haskellers

Sites for rescources
	<head>
	<script src="//cdnjs.cloudflare.com/ajax/libs/d3/4.8.0/d3.min.js"></script>
	<script src="//unpkg.com/d3-force-bounce"></script>
	<script src="//unpkg.com/d3-force-constant"></script>

	<link rel="stylesheet" href="style.css">
	</head>

	<body>
	<svg id="canvas">
	const i = (css) => document.head.insertAdjacentHTML('beforeend', `<style id="pres" class="pres">${css}</style>`);

	const ir = () => document.getElementById("pres").outerHTML = "";