]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4ec208) | patch
Declare the type at macro expansion time
authoradmin <admin@vouivredigital.com>
Fri, 22 Sep 2023 08:07:20 +0000 (17:07 +0900)
committeradmin <admin@vouivredigital.com>
Fri, 22 Sep 2023 08:07:20 +0000 (17:07 +0900)
commit43ea424e74992b69e2480afd05ec44a5eb7d549c
tree1aa78c90456ece989e323e30da36deae0b7e8713tree | snapshot
parentf4ec208cd66a31711626039f644f20d592bcc8cacommit | diff
Declare the type at macro expansion time
curry.scm diff | blob | history
Dependent type infrastructure for machine learning.