about summary refs log tree commit diff
path: root/users/wpcarro/scratch/compiler/inference.ml (follow)
AgeCommit message (Expand)AuthorFilesLines
2022-10-25 r/5196 feat(wpcarro/compiler): Support string literal typeWilliam Carroll1-1/+6
2022-10-25 r/5195 refactor(wpcarro/compiler): Modularize debug fnsWilliam Carroll1-6/+7
2022-10-24 r/5194 feat(wpcarro/scratch): Implement "Algorithm W"William Carroll1-0/+177