Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-20 22:04:09 -07:00
971f58da9b Finish draft of part 12 of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-20 20:47:02 -07:00
c496be1031 Finish implementation description in part 12.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-19 02:22:21 -07:00
21851e3a9c Add more content to part 12.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-18 23:06:22 -07:00
600d5b91ea Remove unneeded parent class.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-18 22:30:23 -07:00
09b90c3bbc Add line numbers to codelines shortode.
f6ca13d6dc Add more implementation content to part 12.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-16 23:32:20 -07:00
9c4d7c514f Add more content to post 12 draft.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-14 02:00:31 -07:00
ad1946e9fb Add first draft of lambdas.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-14 00:43:47 -07:00
68910458e8 Properly handle null types in pattern typechecking.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-13 23:44:03 -07:00
240e87eca4 Use mangled names in variable environments.
DanilaFe pushed to master at DanilaFe/dotfiles 2020-06-01 14:53:54 -07:00
dbd151e0d6 Merge branch 'master' of https://dev.danilafe.com/DanilaFe/dotfiles
94afdd3eae Update dotfiles with local settings.
6d20f5dae5 Fix dotfiles with new DPI settings.
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-01 00:29:39 -07:00
6b5f7e25b7 Maybe finish the let/in code?
e7229e644f Start working on translation.
08c8aca144 Start working on a lifted version of a definition.
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-05-31 01:02:47 -07:00
7f8dae74ac Adjust type output.
08503116ff Mark some definitions as global, so as not to capture them.
a1d679a59d No longer destroy the list of free variables.
Compare 3 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-05-30 21:55:36 -07:00
4586bd0188 Check for free variables in the environment before generalizing.
a97b50f497 Add parsing of let/in.
c84ff11d0d Add typechecking to let/in expressions.
e966e74487 Extract ordering functionality into definition group.
3865abfb4d Add a struct to contain groups of mutually recursive definitions.
Compare 6 commits »
DanilaFe pushed to master at CS-46X/end-of-term-report 2020-05-29 19:41:52 -07:00
5816b3a5f9 Update remote locations for submodules.
DanilaFe pushed to master at CS-46X/archive 2020-05-29 19:21:41 -07:00
3bf88c0b00 Update design document
DanilaFe pushed to master at CS-46X/dd 2020-05-29 16:27:17 -07:00
b1f1981bff Add changes table.
DanilaFe pushed to master at CS-46X/dd 2020-05-29 15:59:26 -07:00
bff96ea690 Merge branch 'master' of https://dev.danilafe.com/CS-46X/dd
58a8efba39 Rename file to match file extension conventions
Compare 2 commits »
DanilaFe pushed to master at CS-46X/archive 2020-05-29 15:58:26 -07:00
4ffd49bf9e Reference 'next steps' in intro as well.
1975847975 Add poster
Compare 2 commits »
DanilaFe pushed to master at CS-46X/archive 2020-05-29 15:24:22 -07:00
3a7d092c13 Add foreword to introduction.
DanilaFe pushed to master at CS-46X/archive 2020-05-29 13:35:23 -07:00
b0586a92a6 Add note to introduction.