0
I Use This!
Inactive

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 8 hours ago.
Apr 24, 2023 — Apr 24, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Spell check! Change -tt to -verb on lhs2tex More... about 3 years ago
changed Env diagrams. fixed lots of formatting More... about 3 years ago
fix the square roots in HTML More... about 3 years ago
small fixes More... about 3 years ago
Fixed Environment/Closure Trees! More... about 3 years ago
fixed up lots of problems, begin writing Data section More... about 4 years ago
Updated to latest version of pandoc and hs2tex More... about 4 years ago
Fix problems associated with latest Haskell More... about 4 years ago
Small fixes More... over 5 years ago
ignore some built folders More... over 6 years ago
small fixes More... over 6 years ago
small fixes for Simple.zip More... almost 7 years ago
fix up a bunch of problems More... about 7 years ago
cleanup foo files More... about 7 years ago
fix the rest of tests, introduce packages of files for download More... about 7 years ago
fix typos More... about 7 years ago
fix a typeo More... about 7 years ago
Fix some types More... about 7 years ago
make parts consistent More... about 7 years ago
Change code to use *.js files for testing. Update to latest Pandoc More... about 7 years ago
fix parse warnings, small error in text More... about 8 years ago
change incorrect variable names More... about 8 years ago
Small fixes More... about 8 years ago
updates to environment diagrams, small edits More... about 8 years ago
add defn for variable More... about 8 years ago
lots of updates! More... over 8 years ago
small fixes More... over 9 years ago
Integrate changes from bruno for CBV and type-checking. Fix \{ that appeared inside | |. More... over 9 years ago
Small fixes, including formatting definitions on latex format More... almost 10 years ago
change formatting of definitions remote semicolons from if statements More... almost 10 years ago