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-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.
DanilaFe pushed to master at CS-46X/archive 2020-05-29 13:28:45 -07: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 12:22:12 -07: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 »
DanilaFe pushed to master at CS-46X/archive 2020-05-29 02:38:44 -07:00
4b2fe7a039 Update Nix expression and add README.
DanilaFe pushed to master at CS-46X/blog 2020-05-28 19:16:09 -07:00
19c0f8732f Rename to adhere to conventions
DanilaFe pushed to master at CS-46X/blog 2020-05-28 19:05:37 -07:00
21d177f728 Add blogs from Winter term and prepare for Project Archive
DanilaFe pushed to master at Web-Projects/blog-static 2020-05-25 20:55:23 -07:00
aacb9e2874 Prefer invisible text to unstyled text.
DanilaFe pushed to master at DanilaFe/custom-nix 2020-05-17 22:04:08 -07:00
f08c7622d2 Pull upstream changes
DanilaFe pushed to master at Web-Projects/blog-static 2020-05-17 22:00:13 -07:00
78f3b18969 Increase padding in post lists.