Danila Fedorin DanilaFe
0 Followers · 0 Following
Repositories
11
 Projects Packages Code Public Activity Starred Repositories
DanilaFe pushed to margin-rework at Web-Projects/blog-static 2020-07-15 22:46:24 +00:00
71fc0546e0 Move move code into common 'margin node' mixin.
871a745702 Extract margin variables and mixins into separate file.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-22 05:21:56 +00:00
3f0df8ae0d Add links for 12th part of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 07:51:46 +00:00
1746011c16 Publish 12th part of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 07:49:49 +00:00
7c4cfbf3d4 Fix typechecking of mutually recursive functions.
8524e098a8 Make proofreading-based fixes.
Compare 2 commits »
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 05:04:09 +00:00
971f58da9b Finish draft of part 12 of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 03:47:02 +00:00
c496be1031 Finish implementation description in part 12.
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.