aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library (unfollow)
Commit message (Expand)AuthorFilesLines
2021-07-17Now properly loading cached modules.Eduardo Julian9-90/+121
2021-07-16Fixed some inconsistent naming.Eduardo Julian19-126/+114
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian3-9/+12
2021-07-14Constant inlining.Eduardo Julian1-182/+182
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian445-0/+89763