]> git.vouivredigital.com Git - vouivre.git/commit
Implement a dependent type system
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
tree5d5f3320a616bc32fb2b6fe10ce888b69b681006
parentaf3dc4749d5ea77479df05b0eecde9398f1d2425
Implement a dependent type system
vouivre/misc.scm
vouivre/rules.scm
vouivre/system.scm