aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/check.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Alternative names for (un)quoting macros.Eduardo Julian2022-06-301-829/+0
* Moved ".../dictionary/plist" to ".../list/property".Eduardo Julian2022-06-301-11/+11
* De-sigil-ification: suffix : [Part 16]Eduardo Julian2022-06-261-11/+11
* De-sigil-ification: suffix : [Part 15]Eduardo Julian2022-06-251-5/+5
* De-sigil-ification: suffix : [Part 14]Eduardo Julian2022-06-161-6/+6
* De-sigil-ification: suffix : [Part 13]Eduardo Julian2022-06-161-50/+50
* Re-named "partial_list" to "list.partial".Eduardo Julian2022-06-121-5/+5
* De-sigil-ification: suffix : [Part 4]Eduardo Julian2022-06-121-51/+51
* De-sigil-ification: suffix : [Part 3]Eduardo Julian2022-06-121-12/+14
* comonad/cofree => comonad/freeEduardo Julian2022-06-041-1/+1
* De-sigil-ification: #Eduardo Julian2022-06-041-1/+1
* Extensible import syntax [Part 6]Eduardo Julian2022-06-041-4/+4
* Extensible import syntax [Part 2]Eduardo Julian2022-06-021-1/+1
* Extensible import syntax: Part 1Eduardo Julian2022-06-011-6/+6
* De-sigil-ification: $Eduardo Julian2022-04-081-12/+12
* De-sigil-ification: &Eduardo Julian2022-04-071-7/+7
* Now demanding mandatory loop names, instead of using default "again" name.Eduardo Julian2022-03-301-5/+5
* De-sigil-ification: prefix :Eduardo Julian2022-03-161-11/+11
* Leaner syntax for library/lux/control/exception.reportEduardo Julian2022-03-151-10/+10
* De-sigil-ification: ^Eduardo Julian2022-03-151-17/+19
* Leaner syntax for the "for" macro.Eduardo Julian2022-03-141-2/+3
* De-sigil-ification: @Eduardo Julian2022-03-141-25/+25
* Finishing the meta-compiler [Part 4]Eduardo Julian2022-02-241-3/+3
* Fixed directive extensions for Lux/Python.Eduardo Julian2022-02-111-42/+53
* Finishing the meta-compiler [Part 2]Eduardo Julian2022-02-101-56/+148
* "module:" => "using"Eduardo Julian2021-09-151-1/+1
* Re-named "recur" to "again".Eduardo Julian2021-09-141-2/+2
* Updated only/except import syntax to take into account record => variant synt...Eduardo Julian2021-09-131-6/+6
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-121-30/+30
* Made the "#" character great again!Eduardo Julian2021-09-121-157/+157
* Fixed the indentation of variants.Eduardo Julian2021-09-101-4/+4
* Migrated variants to the new syntax.Eduardo Julian2021-09-101-141/+141
* De-bracing | part 2Eduardo Julian2021-09-081-1/+2
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-081-5/+9
* De-taggification | part 4Eduardo Julian2021-09-071-11/+11
* Changed the syntax of do/be's (co)monad bindings.Eduardo Julian2021-09-051-3/+3
* De-taggification | part 2Eduardo Julian2021-09-041-7/+7
* Unified tuple and record syntax.Eduardo Julian2021-09-031-2/+2
* Updates to the Ruby compiler.Eduardo Julian2021-08-271-8/+8
* Updates to the Lua compiler.Eduardo Julian2021-08-251-8/+10
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-241-22/+10
* The Python compiler can now be compiled by the new JVM compiler.Eduardo Julian2021-08-231-10/+10
* Some bug fixes.Eduardo Julian2021-08-181-57/+53
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-141-3/+3
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-131-9/+9
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-121-2/+2
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-111-12/+12
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-091-15/+23
* No more #export magic syntax.Eduardo Julian2021-08-081-26/+26
* Made the be/de macros for (co)monadic expression extensible.Eduardo Julian2021-08-071-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 02:19:13 +0000