git.vouivredigital.com Git - vouivre.git/shortlog

]> git.vouivredigital.com Git - vouivre.git/shortlog

2023-09-22	admin	Define a language to use curried functions in the REPL	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Copy files from guile-3.0.9.22-1ae50-dirty/module/langu...	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Curry some procedures from (rnrs base) and (srfi srfi-1)	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Declare the type at macro expansion time	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Implement typed curried definitions	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Expand partial applications when needed	commit \| commitdiff \| tree \| snapshot
2023-09-21	admin	Play nicer with regular Scheme	commit \| commitdiff \| tree \| snapshot
2023-09-21	admin	Change argument counting to type construction	commit \| commitdiff \| tree \| snapshot
2023-09-06	admin	Test flipped function composition	commit \| commitdiff \| tree \| snapshot
2023-09-06	admin	Fix currying of higher order functions	commit \| commitdiff \| tree \| snapshot
2023-09-05	admin	Expand curried functions and check for errors	commit \| commitdiff \| tree \| snapshot
2023-08-30	admin	Add license	commit \| commitdiff \| tree \| snapshot

Dependent type infrastructure for machine learning.