aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/abstract/monad/indexed.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-141-83/+0
|
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-301-1/+1
| | | "signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
* Encapsulate JS definitions produced by the JS compiler in a local scope to ↵Eduardo Julian2021-01-111-3/+2
| | | | avoid interacting with the global scope.
* Replaced kebab-case with snake_case for naming convention.Eduardo Julian2020-12-251-7/+7
|
* Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian2020-12-021-4/+4
| | | | convention that only macros that deal with types may start with a colon.
* Re-named "_.claim" to "_.cover'".Eduardo Julian2020-11-281-3/+3
|
* Changed the format of project descriptor files.Eduardo Julian2020-09-161-2/+3
|
* Local binding names for (co|indexed-)?monads are now explicitly set.Eduardo Julian2020-05-171-21/+39
|
* Fixes & tweaks in tests (and relevant code) due to latest changes in the stdlib.Eduardo Julian2019-05-211-1/+1
|
* Moved the code/syntax parser under "lux/control/parser/".Eduardo Julian2019-04-191-4/+5
|
* Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian2019-04-061-0/+64