aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (unfollow)
Commit message (Expand)AuthorFilesLines
2017-12-28- Added quotient types.Eduardo Julian1-0/+68
2017-12-25- Added module for predicates.Eduardo Julian8-33/+153
2017-12-24- Minor refactorings and bug fixes.Eduardo Julian5-177/+215
2017-12-24- Added type-safe modular arithmetic.Eduardo Julian2-4/+177
2017-12-12- Agent-based concurrency is just actors listening to FRP channels, so specia...Eduardo Julian1-154/+0
2017-12-12- FRP channels are no longer asynchronously-built lists, but rather mediums f...Eduardo Julian4-384/+159
2017-12-10- Some minor refactoring.Eduardo Julian12-195/+217
2017-12-10- Some minor refactoring.Eduardo Julian4-164/+135
2017-12-05- WIP: Caching.Eduardo Julian3-11/+30
2017-12-05- Brought luxc and new-luxc closer together.Eduardo Julian7-201/+130
2017-12-05- Added analysis, synthesis, translation and statement extensions.Eduardo Julian2-18/+25
2017-12-04- No longer using BufferedReader for console input.Eduardo Julian1-24/+51
2017-12-04- lux/world/file now works with Process, instead of Task.Eduardo Julian1-41/+39
2017-12-04- No longer deleting type-vars in luxc, to better match it with the type-chec...Eduardo Julian7-139/+122
2017-12-04- Implemented unit types on top of abstract types.Eduardo Julian2-39/+32
2017-12-04- Re-named "Def" to "Definition".Eduardo Julian7-103/+103
2017-12-03- Added location information to syntax errors.Eduardo Julian1-1/+4
2017-12-03- Fixed some small issues uncovered by new-luxc.Eduardo Julian3-10/+13
2017-12-02- Added some ~! to some macros to stop them from imposing dependencies.Eduardo Julian3-41/+51
2017-12-02- "gensym" went back to producing Code, instead of Ident.Eduardo Julian19-268/+258
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian24-345/+228
2017-12-02- Added new "lux in-module" procedure for changing the module while analysing...Eduardo Julian1-7/+13
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian31-731/+739
2017-12-01- Made it so that module annotations can only be set once now.Eduardo Julian1-2/+2
2017-12-01- Changed the way test durations are shown.Eduardo Julian1-1/+1
2017-11-29- Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian10-52/+52
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian109-7402/+7409
2017-11-28- Re-named the "." function to "compose" and moved it to lux/function.Eduardo Julian17-159/+166
2017-11-27- Changed the syntax involved in JVM host-interop.Eduardo Julian10-344/+322
2017-11-27- Got rid of even more dots.Eduardo Julian43-174/+174
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian54-1105/+1089
2017-11-26- Changed to the new relative imports syntax.Eduardo Julian18-170/+172
2017-11-23- Added REPL.Eduardo Julian2-3/+14
2017-11-23- Added console I/O.Eduardo Julian1-0/+74
2017-11-22- Fixed some bugs.Eduardo Julian13-111/+200
2017-11-21- Fixed some bugs.Eduardo Julian9-389/+363
2017-11-20- Added parallel compilation.Eduardo Julian12-166/+205
2017-11-16- Added "Process" type for IO operations that can fail.Eduardo Julian1-10/+39
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian44-289/+289
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian19-107/+107
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian12-34/+34
2017-11-15- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian2-1/+1
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian1-0/+623
2017-11-15- Moved type-cleaning to lux/meta/type/check.Eduardo Julian1-1/+37
2017-11-14- Small refactoring.Eduardo Julian2-61/+61
2017-11-14- Modified the syntax for module definitions.Eduardo Julian1-1/+1
2017-11-14- Made "lux text clip" work like it used to.Eduardo Julian3-44/+39
2017-11-14- Fixed some bugs.Eduardo Julian1-15/+42
2017-11-14- Removed "lux text last-index" procedure.Eduardo Julian6-112/+127
2017-11-14- Yet more refactoring.Eduardo Julian1-138/+87
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 15:13:49 +0000