rename

conal · Jul 15, 2015 · 259a61e · 259a61e
1 parent d90fa5d
commit 259a61e
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -13,6 +13,6 @@ Unused/
 *.snm
 *.toc
 
-essence-and-origins-of-frp.tex
+more-elegant-frp.tex
 foo.html
 web-token
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-TARG = essence-and-origins-of-frp
+TARG = more-elegant-frp
 
 .PRECIOUS: %.tex %.pdf %.web
 

diff --git a/essence-and-origins-of-frp.lhs → more-elegant-frp.lhs b/essence-and-origins-of-frp.lhs → more-elegant-frp.lhs