|
Failed to load latest commit information. |
|
bootstrap
|
Add notes about signatures of reified things.
|
Nov 11, 2015
|
|
|
latex
|
Make rangle align with start of introducing line.
|
Mar 6, 2015
|
|
|
.gitignore
|
Add default haskell gitignore.
|
Dec 23, 2014
|
|
|
LAYOUT.md
|
Add minimal LAYOUT.md.
|
Jul 25, 2015
|
|
|
LICENSE
|
Initial commit
|
Nov 1, 2014
|
|
|
README.md
|
Add note about Levy and Levy#
|
Oct 11, 2015
|
|
|
flaviusb.kropaya
|
Fix wrong quote mark.
|
Feb 2, 2015
|
|
|
kropaya-description.md
|
Formatting, more explanation of module access.
|
Aug 25, 2015
|
|
|
scratch.md
|
Add musing.
|
May 5, 2015
|