index
:
lux
master
fork of https://github.com/LuxLang/lux for my bookshelf
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
stdlib
/
source
/
lux
/
world
/
net
/
udp.old.lux
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2019-05-28
Both the old JVM interop and the new JVM interop use the same syntax for arra...
Eduardo Julian
1
-124
/
+0
2019-04-27
Re-named "lux/tool/compiler/host" to "lux/target".
Eduardo Julian
1
-81
/
+79
2019-04-16
The old compiler is now identified with "old" instead of "jvm". This should h...
Eduardo Julian
1
-1
/
+1
2019-04-06
Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".
Eduardo Julian
1
-1
/
+1
2019-04-06
Created the "lux/abstract" branch and moved some modules into it.
Eduardo Julian
1
-1
/
+2
2019-03-30
Re-named "do-template" to "template".
Eduardo Julian
1
-1
/
+1
2019-03-25
Ported tests for world-related modules.
Eduardo Julian
1
-25
/
+35
2019-02-24
Got rid of the Task type (it just provided the same functionality as (error.w...
Eduardo Julian
1
-2
/
+1
2019-02-24
Improved the names of monad transformers.
Eduardo Julian
1
-5
/
+5
2019-02-12
Re-named "lux/platform" to "lux/tool".
Eduardo Julian
1
-1
/
+1
2019-02-07
- Removed the current usage of data-integrity measures.
Eduardo Julian
1
-5
/
+3
2019-02-04
Changed the naming style for structures.
Eduardo Julian
1
-5
/
+5
2019-01-11
Re-named "lux/control/security/taint" to "lux/control/security/integrity".
Eduardo Julian
1
-2
/
+2
2018-12-15
Moved the "lux/concurrency" modules under "lux/control".
Eduardo Julian
1
-3
/
+3
2018-12-06
Adapted other world signatures to the capability model.
Eduardo Julian
1
-11
/
+9
2018-12-05
Now tainting values coming from the outside world.
Eduardo Julian
1
-67
/
+79
2018-08-29
Method imports are now done as macros instead of functions.
Eduardo Julian
1
-10
/
+10
2018-07-28
Removed temporary "|" prefix on Nat.
Eduardo Julian
1
-2
/
+2
2018-07-28
Temporary commit to get rid of "+" signs for Nat.
Eduardo Julian
1
-2
/
+2
2018-07-21
Re-named "lux/world/blob" to "lux/world/binary".
Eduardo Julian
1
-3
/
+3
2018-07-20
"^open" and "open:" now use aliases instead of prefixes, the same way as modu...
Eduardo Julian
1
-3
/
+3
2018-07-20
No longer giving default aliases to un-prefixed imports.
Eduardo Julian
1
-12
/
+15
2018-07-11
- Improvements to import syntax [part 2].
Eduardo Julian
1
-12
/
+15
2018-07-10
- Improvements to import syntax [part 0].
Eduardo Julian
1
-2
/
+2
2018-07-10
- Re-named path "lux/data/coll/*" to "lux/data/collection/*".
Eduardo Julian
1
-1
/
+1
2018-07-03
- Re-named "import" to "import:".
Eduardo Julian
1
-5
/
+5
2018-07-03
- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...
Eduardo Julian
1
-5
/
+5
2018-05-20
- Re-named "Top" to "Any", and "Bottom" to "Nothing".
Eduardo Julian
1
-3
/
+3
2018-05-13
- Added new #I64 type as foundation for types based on 64-bit integers.
Eduardo Julian
1
-5
/
+5
2018-05-05
- Removed Void and Unit as kinds of types.
Eduardo Julian
1
-3
/
+3
2018-05-02
- Made the names of all exceptions lower-case.
Eduardo Julian
1
-4
/
+4
2018-02-07
- Improved the way exceptions work.
Eduardo Julian
1
-2
/
+5
2017-12-12
- FRP channels are no longer asynchronously-built lists, but rather mediums f...
Eduardo Julian
1
-2
/
+1
2017-12-10
- Some minor refactoring.
Eduardo Julian
1
-5
/
+5
2017-11-29
- Re-named lux/type/opaque to lux/type/abstract.
Eduardo Julian
1
-4
/
+4
2017-11-29
- Changed the identifier separator, from the semi-colon (;) to the period/dot...
Eduardo Julian
1
-27
/
+27
2017-11-27
- Changed the syntax involved in JVM host-interop.
Eduardo Julian
1
-16
/
+16
2017-11-26
- Changed to the new relative imports syntax.
Eduardo Julian
1
-5
/
+5
2017-11-15
- Moved "/type/*" to from "lux/meta/" to "lux/".
Eduardo Julian
1
-9
/
+9
2017-10-16
- Re-named "Lux" type to "Meta".
Eduardo Julian
1
-1
/
+1
2017-10-16
- Re-named "Result" type back to "Error".
Eduardo Julian
1
-8
/
+8
2017-10-16
- Moved Array type to lux.lux.
Eduardo Julian
1
-1
/
+1
2017-09-19
- Eliminated the redundant {X}-Array syntax for JVM array types.
Eduardo Julian
1
-2
/
+2
2017-09-19
- Some refactoring.
Eduardo Julian
1
-1
/
+2
2017-09-08
- Re-named "jvm-import" to "import".
Eduardo Julian
1
-6
/
+6
2017-09-04
- Implemented network I/O for TCP and UDP (in the JVM).
Eduardo Julian
1
-0
/
+99