diff options
| author | William Carroll <wpcarro@gmail.com> | 2022-10-12T17·22-0700 |
|---|---|---|
| committer | wpcarro <wpcarro@gmail.com> | 2022-10-24T17·42+0000 |
| commit | a8876a4cdaaf0a1f051fefad436e08d983b402e2 (patch) | |
| tree | dfd6f25617691d866d340357e1b808c19ecfdc6a /users/wpcarro/scratch/compiler/.gitignore | |
| parent | 5bd0e723c13b8a41bfba442bd8ef5351e31099e6 (diff) | |
feat(wpcarro/scratch): Implement "Algorithm W" r/5194
I've been wanting to grok Haskell-style type inference for awhile, so instead of just watching conference talks and reading papers about it, I've decided to attempt to implement it to more readily test my understanding of it. Change-Id: I69261202a3d74d55c6e38763d7ddfec73c392465 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6988 Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com> Autosubmit: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'users/wpcarro/scratch/compiler/.gitignore')
| -rw-r--r-- | users/wpcarro/scratch/compiler/.gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/users/wpcarro/scratch/compiler/.gitignore b/users/wpcarro/scratch/compiler/.gitignore index 25414be2a981..96261d3fc7e9 100644 --- a/users/wpcarro/scratch/compiler/.gitignore +++ b/users/wpcarro/scratch/compiler/.gitignore @@ -1,2 +1,5 @@ a.out -*.cmi \ No newline at end of file +*.cmi +*.cmo +*.cmx +*.o \ No newline at end of file |