]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af3dc47) | patch
Implement a dependent type system wip
authoradmin <admin@vouivredigital.com>
Thu, 13 Jun 2024 02:24:31 +0000 (11:24 +0900)
committeradmin <admin@vouivredigital.com>
Thu, 13 Jun 2024 02:24:31 +0000 (11:24 +0900)
commit995429c09c4e6c05158e66c2b23547353b7ebc5c
tree5d5f3320a616bc32fb2b6fe10ce888b69b681006tree | snapshot
parentaf3dc4749d5ea77479df05b0eecde9398f1d2425commit | diff
Implement a dependent type system
vouivre/misc.scm diff | blob | history
vouivre/rules.scm diff | blob | history
vouivre/system.scm diff | blob | history
Dependent type infrastructure for machine learning.