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-07-15 23:25:06 -07:00
2b317930a0 Add resume link.
e7d56dd4bd Clean up some styles.
a4fedb276d Adjust margin spacing.
277c0a2ce6 Rework sidenote spacing and TOC.
ef3c61e9e6 Make table of contents dark.
Compare 11 commits »
DanilaFe pushed to table-of-contents at Web-Projects/blog-static 2020-07-15 21:53:14 -07:00
e7d56dd4bd Clean up some styles.
a4fedb276d Adjust margin spacing.
277c0a2ce6 Rework sidenote spacing and TOC.
Compare 3 commits »
DanilaFe pushed to table-of-contents at Web-Projects/blog-static 2020-07-15 15:46:35 -07:00
ef3c61e9e6 Make table of contents dark.
1908126607 Add border to code.
2d77f8489f Move hiding code into margin SCSS.
0371651fdd Fix headings on Starbound post.
01734d24f7 Get started on tables of contents.
DanilaFe pushed to margin-rework at Web-Projects/blog-static 2020-07-15 15:46:24 -07: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-21 22:21:56 -07:00
3f0df8ae0d Add links for 12th part of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 00:51:46 -07:00
1746011c16 Publish 12th part of compiler series.
DanilaFe pushed to master at Web-Projects/blog-static 2020-06-21 00:49:49 -07: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-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 »