projects / vouivre.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
vouivre.git
2023-09-23 adminCompare function types with TBD types commit | commitdiff | tree | snapshot
2023-09-23 adminModularize types commit | commitdiff | tree | snapshot
2023-09-22 adminDefine a language to use curried functions in the REPL commit | commitdiff | tree | snapshot
2023-09-22 adminCopy files from guile-3.0.9.22-1ae50-dirty/module/langu... commit | commitdiff | tree | snapshot
2023-09-22 adminCurry some procedures from (rnrs base) and (srfi srfi-1) commit | commitdiff | tree | snapshot
2023-09-22 adminDeclare the type at macro expansion time commit | commitdiff | tree | snapshot
2023-09-22 adminImplement typed curried definitions commit | commitdiff | tree | snapshot
2023-09-22 adminExpand partial applications when needed commit | commitdiff | tree | snapshot
2023-09-21 adminPlay nicer with regular Scheme commit | commitdiff | tree | snapshot
2023-09-21 adminChange argument counting to type construction commit | commitdiff | tree | snapshot
2023-09-06 adminTest flipped function composition commit | commitdiff | tree | snapshot
2023-09-06 adminFix currying of higher order functions commit | commitdiff | tree | snapshot
2023-09-05 adminExpand curried functions and check for errors commit | commitdiff | tree | snapshot
2023-08-30 adminAdd license commit | commitdiff | tree | snapshot
Dependent type infrastructure for machine learning.