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-19 09:22:21 +00:00
21851e3a9c Add more content to part 12.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-19 06:06:22 +00:00
600d5b91ea Remove unneeded parent class.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-19 05:30:23 +00: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-17 06:32:20 +00:00
9c4d7c514f Add more content to post 12 draft.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-14 09:00:31 +00:00
ad1946e9fb Add first draft of lambdas.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-14 07:43:47 +00:00
68910458e8 Properly handle null types in pattern typechecking.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-14 06:44:03 +00:00
240e87eca4 Use mangled names in variable environments.
DanilaFe pushed to master at DanilaFe/dotfiles 2020-06-01 21:53:54 +00: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 07:29:39 +00: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 08:02:47 +00: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-31 04:55:36 +00: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-30 02:41:52 +00:00
5816b3a5f9 Update remote locations for submodules.
DanilaFe pushed to master at CS-46X/archive 2020-05-30 02:21:41 +00:00
3bf88c0b00 Update design document
DanilaFe pushed to master at CS-46X/dd 2020-05-29 23:27:17 +00:00
b1f1981bff Add changes table.
DanilaFe pushed to master at CS-46X/dd 2020-05-29 22:59:26 +00: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 22:58:26 +00: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 22:24:22 +00:00
3a7d092c13 Add foreword to introduction.
DanilaFe pushed to master at CS-46X/archive 2020-05-29 20:35:23 +00:00
b0586a92a6 Add note to introduction.
DanilaFe pushed to master at CS-46X/archive 2020-05-29 20:28:45 +00:00
642d7f8a8f Mention the automatic generation of READMEs.
28e3a7a068 Automatically generate custom table of contents.
Compare 2 commits »
DanilaFe pushed to master at CS-46X/archive 2020-05-29 19:22:12 +00:00
a4a46c8330 Update submodule
febe73e925 Edit intro.
55d7c94564 Merge branch 'master' of https://dev.danilafe.com/CS-46X/archive
72c4dc7366 Refer people to the appendix.
Compare 4 commits »