michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rerendered and reorganized the *.md files; removed junk; centered equations.

Browse source
This commit is contained in:
Pepijn Kokke 2017-03-10 16:02:07 +00:00
parent 21b52e98e4
commit 64cb6da7c8
No known key found for this signature in database
GPG key ID: EF467CD387487CB8
6 changed files with 16 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
_includes/.#agda-extra-style.html
View file

@ -1 +0,0 @@
pepijn@dhcp-90-071.inf.ed.ac.uk.69060

4
assets/main.scss
View file

@ -5,3 +5,7 @@
@import "katex"; @import "katex";
@import "minima"; @import "minima";
@import "Agda"; @import "Agda";
div.equation {
text-align: center;
}

2
src/Basics.lagda
View file

@ -1,5 +1,7 @@
--- ---
title : "Basics: Functional Programming in Agda" title : "Basics: Functional Programming in Agda"
layout : page
permalink : /Basics
--- ---
<div class="hidden"> <div class="hidden">

2
src/Maps.lagda
View file

@ -1,5 +1,7 @@
--- ---
title : "Maps: Total and Partial Maps" title : "Maps: Total and Partial Maps"
layout : page
permalink : /Maps
--- ---
# Maps: Total and Partial Maps # Maps: Total and Partial Maps

2
src/Stlc.lagda
View file

@ -1,5 +1,7 @@
--- ---
title : "Stlc: The Simply Typed Lambda-Calculus" title : "Stlc: The Simply Typed Lambda-Calculus"
layout : page
permalink : /Stlc
--- ---
\begin{code} \begin{code}

2
src/StlcProp.lagda
View file

@ -1,5 +1,7 @@
--- ---
title : "StlcProp: Properties of STLC" title : "StlcProp: Properties of STLC"
layout : page
permalink : /StlcProp
--- ---
\begin{code} \begin{code}