git.iko.soy/Idris-dev
on master help sign in
Merge pull request #41 from mekeor/master

just tiny fixes

commit71c5b663f57c55eab42ef66a7371ff9216393146 authorEdwin Brady <edwin.brady@gmail.com> dateMon 13 Aug 2012, 04:49 (14 years ago) parent2b755fd3553b1d
2 files changed+1−4
compare with master
unifiedsplit
impl-paper/Makefile−3 src/Idris/Parser.hs+1−1
impl-paper/Makefile−3
@@ -10,9 +10,6 @@ DIAGS =
1010
1111SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.bib
1212
13−library.bib: .PHONY
14− cp ~/Research/Papers/library.bib .
15−
1613DITAA = java -jar ~/Downloads/ditaa.jar
1714
1815${PAPER}.pdf: ${SOURCES}
src/Idris/Parser.hs+1−1
@@ -474,7 +474,7 @@ fixity = try (do reserved "infixl"; return Infixl)
474474 <|> try (do reserved "infix"; return InfixN)
475475 <|> try (do reserved "prefix"; return PrefixN)
476476
477−--------- Tyoe classes ---------
477+--------- Type classes ---------
478478
479479pClass :: SyntaxInfo -> IParser [PDecl]
480480pClass syn = do acc <- pAccessibility