aboutsummaryrefslogtreecommitdiff
path: root/stdlib (unfollow)
Commit message (Expand)AuthorFilesLines
2018-12-26Expansion for binary format.Eduardo Julian1-124/+220
2018-12-26Some refactoring & minor additions.Eduardo Julian10-90/+118
2018-12-25Added contravariant functors.Eduardo Julian6-16/+57
2018-12-24Some refactoring.Eduardo Julian3-47/+52
2018-12-16Improved how the "Source" type works.Eduardo Julian2-75/+49
2018-12-15Reverted "lux/control/concurrency/frp" to the previous style of doing FRP.Eduardo Julian4-192/+264
2018-12-15Separated reading promises and writing to promises.Eduardo Julian5-135/+165
2018-12-15Changed the "instance?" macro in "lux/host.jvm.lux" into the "check" macro.Eduardo Julian2-20/+29
2018-12-15No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...Eduardo Julian12-154/+150
2018-12-15Re-named the "Error" tag to "Failure".Eduardo Julian65-640/+681
2018-12-15Changed the licenses in the project.clj files.Eduardo Julian1-2/+2
2018-12-15Moved the "lux/concurrency" modules under "lux/control".Eduardo Julian21-223/+223
2018-12-15Small improvements.Eduardo Julian8-101/+122
2018-12-15Removed sessions for the moment.Eduardo Julian2-367/+0
2018-12-10Slight improvement.Eduardo Julian1-10/+10
2018-12-10Slight improvement to tests.Eduardo Julian1-15/+15
2018-12-10Fixed a bug in recursive sessions.Eduardo Julian1-3/+5
2018-12-09Improved test for recursion in complex sessions.Eduardo Julian1-27/+38
2018-12-09Working session recursion.Eduardo Julian2-108/+176
2018-12-09WIP: Session recursion.Eduardo Julian1-1/+21
2018-12-09- Some refactoring.Eduardo Julian1-95/+72
2018-12-09Basic implementation for sessions.Eduardo Julian3-3/+296
2018-12-09Added some missing/necessary documentation.Eduardo Julian3-0/+14
2018-12-06Adapted other world signatures to the capability model.Eduardo Julian5-23/+45
2018-12-06- Added basic support for capability-based security.Eduardo Julian4-242/+363
2018-12-05Now tainting values coming from the outside world.Eduardo Julian11-368/+435
2018-12-05Made some improvements to value taining, and added some tests.Eduardo Julian3-28/+94
2018-12-05Some small improvements.Eduardo Julian3-48/+81
2018-12-05Added privacy typing for information-flow control.Eduardo Julian2-0/+149
2018-12-04Some refactoring and small fixes.Eduardo Julian8-17/+26
2018-12-04Restored the "encode" function for duration, to correct for overkill when rem...Eduardo Julian4-8/+39
2018-12-04Some refactoring.Eduardo Julian7-176/+201
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/34Eduardo Julian2-100/+1
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/33Eduardo Julian1-1/+0
2018-12-03Excised contribution relevant to this: https://github.com/LuxLang/lux/pull/35Eduardo Julian2-31/+1
2018-10-29Extracted "phase" from under "lux/platform/compiler/default".Eduardo Julian47-29/+31
2018-10-29Added "Char" type.Eduardo Julian1-3/+5
2018-10-29Nested the compiler and the interpreter under the lux/platform/* path.Eduardo Julian65-9/+9
2018-10-29Added a module for keyboard input.Eduardo Julian1-0/+78
2018-10-29Added a module for video display resolutions.Eduardo Julian1-0/+30
2018-10-27Some refactoring.Eduardo Julian12-327/+373
2018-10-27- Refactored macro-expansion code.Eduardo Julian3-116/+155
2018-10-27Split-out the lux/compiler/meta/archive module.Eduardo Julian5-111/+152
2018-10-18Slight improvements to "lux/data/color".Eduardo Julian1-38/+82
2018-10-18- Added "Alpha" abstraction.Eduardo Julian1-6/+26
2018-10-13Minor refactoring.Eduardo Julian5-42/+64
2018-10-13Introduced an explicit "Compiler" abstraction.Eduardo Julian4-50/+69
2018-10-13Turned the Archive into an abstract type for greater safety when operating on...Eduardo Julian1-23/+29
2018-10-13- Some refactoring.Eduardo Julian5-130/+167
2018-10-13Removed timing/perf-logging.Eduardo Julian4-82/+89