aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/security/capability.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2023-01-13Re-licensed to MPL 2.0Eduardo Julian1-0/+3
2022-12-02Added some simple time-series handling machinery.Eduardo Julian1-1/+1
2022-11-21Added index section to documentation + re-named Primitive -> NominalEduardo Julian1-3/+3
2022-11-05Property-based testing can now log/print successful seeds from run.Eduardo Julian1-5/+5
2022-10-24Minor naming & syntax improvements.Eduardo Julian1-2/+2
2022-07-10Better error reporting when analyzing variants.Eduardo Julian1-8/+8
2022-07-10Removed the need for ,! unquoting.Eduardo Julian1-8/+2
2022-07-02Moved "lux/macro" to "lux/meta/macro".Eduardo Julian1-8/+7
2022-07-02More traditional names for unquoting macros.Eduardo Julian1-9/+9
2022-07-01Moved "lux/macro/code" to "lux/meta/code".Eduardo Julian1-4/+4
2022-06-30Alternative names for (un)quoting macros.Eduardo Julian1-2/+3
2022-06-26New "parser" hierarchy. [Part 4]Eduardo Julian1-4/+4
2022-06-25De-sigil-ification: suffix : [Part 15]Eduardo Julian1-1/+1
2022-06-16De-sigil-ification: suffix : [Part 14]Eduardo Julian1-3/+3
2022-06-16De-sigil-ification: suffix : [Part 13]Eduardo Julian1-5/+5
2022-06-15De-sigil-ification: suffix : [Part 12]Eduardo Julian1-1/+1
2022-06-13New "format" hierarchy.Eduardo Julian1-1/+1
2022-06-11De-sigil-ification: : [Part 2]Eduardo Julian1-22/+23
2022-06-04De-sigil-ification: #Eduardo Julian1-2/+2
2022-06-04Extensible import syntax [Part 6]Eduardo Julian1-1/+1
2022-06-03Extensible import syntax [Part 5]Eduardo Julian1-2/+2
2022-06-03Extensible import syntax [Part 4]Eduardo Julian1-2/+2
2022-06-02Extensible import syntax [Part 3]Eduardo Julian1-2/+2
2022-06-01Extensible import syntax: Part 1Eduardo Julian1-5/+5
2022-04-09Re-branded "abstract" types as "primitive" types.Eduardo Julian1-2/+2
2022-04-08Removed (mostly useless) pattern-matching macro for abstract types.Eduardo Julian1-1/+1
2022-04-08De-sigil-ification: $Eduardo Julian1-3/+3
2022-03-17De-sigil-ification: !Eduardo Julian1-3/+3
2022-03-16De-sigil-ification: prefix :Eduardo Julian1-26/+26
2021-09-15"module:" => "using"Eduardo Julian1-1/+1
2021-09-14Re-named "Identifier" to "Symbol".Eduardo Julian1-5/+5
2021-09-14Re-named "Name" to "Symbol".Eduardo Julian1-1/+1
2021-09-13Re-named "primitive" to "Primitive".Eduardo Julian1-1/+1
2021-09-13Updated only/except import syntax to take into account record => variant synt...Eduardo Julian1-5/+5
2021-09-12Re-named \ => # && \\ => ##Eduardo Julian1-3/+3
2021-09-10Undid the foolish re-design of "abstract:" and "actor:".Eduardo Julian1-37/+37
2021-09-08Post annotations clean-up.Eduardo Julian1-4/+2
2021-09-08Normalized the syntax of "abstract:" and "actor:".Eduardo Julian1-40/+38
2021-09-07De-taggification | part 4Eduardo Julian1-9/+9
2021-09-05Changed the syntax of do/be's (co)monad bindings.Eduardo Julian1-1/+1
2021-09-04De-taggification | part 2Eduardo Julian1-6/+6
2021-08-27Updates to the Ruby compiler.Eduardo Julian1-18/+19
2021-08-24Outsourced the syntax for labelled type definitions to macros.Eduardo Julian1-2/+2
2021-08-18Some bug fixes.Eduardo Julian1-14/+1
2021-08-13Made program: specify its bindings the same way as syntax:.Eduardo Julian1-1/+1
2021-08-12Improved binding syntax for "syntax:".Eduardo Julian1-2/+2
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian1-14/+14
2021-08-09Improved single-line comment syntax (from "##" to "...").Eduardo Julian1-10/+12
2021-08-08No more #export magic syntax.Eduardo Julian1-6/+6
2021-08-07Made the be/de macros for (co)monadic expression extensible.Eduardo Julian1-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 08:09:56 +0000