]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b913efe) | patch
Fix issues with (vdc base) and add reversed composition
authoradmin <admin@vouivredigital.com>
Sat, 23 Sep 2023 06:16:07 +0000 (15:16 +0900)
committeradmin <admin@vouivredigital.com>
Sat, 23 Sep 2023 06:16:07 +0000 (15:16 +0900)
commitdc1b4eb4bbc9e86895f595aa9ea4f58800085b0e
treeb2b640c480cd622d7f07b49d5d24f4ba04154ba8tree | snapshot
parentb913efe8b131db4acd13946ed5e3825d8644fe43commit | diff
Fix issues with (vdc base) and add reversed composition

- Call guile's 1+ instead of itself
- Curry internal applications of higher order functions
- Declare types at both expansion and compilation time
base.scm diff | blob | history
curry.scm diff | blob | history
Dependent type infrastructure for machine learning.