]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95046de) | patch
Implement a new type system
authoradmin <admin@vouivredigital.com>
Fri, 5 Apr 2024 02:50:45 +0000 (11:50 +0900)
committeradmin <admin@vouivredigital.com>
Fri, 5 Apr 2024 02:50:45 +0000 (11:50 +0900)
commit701c145be66145d48118666f786165712d5abbdc
treef36abbdc971f1f806ab590ab55448663ed41a4b3tree | snapshot
parent95046de36f10d654f914861f38779d8ccc835637commit | diff
Implement a new type system
vouivre/misc.scm diff | blob | history
vouivre/rules.scm [new file with mode: 0644] blob
vouivre/system.scm [new file with mode: 0644] blob
Dependent type infrastructure for machine learning.