]> git.vouivredigital.com Git - vouivre.git/commit
projects / vouivre.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 995429c) | patch
Create a development environment for dependent type theories
authoradmin <admin@vouivredigital.com>
Sun, 6 Oct 2024 20:37:32 +0000 (16:37 -0400)
committeradmin <admin@vouivredigital.com>
Sun, 6 Oct 2024 20:37:32 +0000 (16:37 -0400)
commitda5202b04a10337fdf03679dc469cb96f34f74be
tree3e2b69530064a4fbe0272c4f4b331e15b8deb411tree | snapshot
parent995429c09c4e6c05158e66c2b23547353b7ebc5ccommit | diff
Create a development environment for dependent type theories
.gitignore diff | blob | history
Makefile.am diff | blob | history
build-aux/test-driver.scm [deleted file] blob | history
configure.ac diff | blob | history
doc/version.texi [deleted file] blob | history
doc/vouivre.texi [deleted file] blob | history
guix.scm [deleted file] blob | history
hall.scm [deleted file] blob | history
pre-inst-env.in [deleted file] blob | history
src/v.c [new file with mode: 0644] blob
Dependent type infrastructure for machine learning.