Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
579 Commits
8 Branches
0 Tags
45 MiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

4 Commits (master)

Author SHA1 Message Date
Danila Fedorin d153af5212 Get rid of more constructors and make mangled names optional.
2 years ago
Danila Fedorin 7226d66f67 Remove the parent method from type_env.
2 years ago
Danila Fedorin ba418d357f Make type_env a class.
2 years ago
Danila Fedorin 5dbf75b5e4 Fork off version 13 of the compiler.
2 years ago
Danila Fedorin 7c4cfbf3d4 Fix typechecking of mutually recursive functions.
2 years ago
Danila Fedorin 6b5f7e25b7 Maybe finish the let/in code?
2 years ago
Danila Fedorin e7229e644f Start working on translation.
2 years ago
Danila Fedorin 08503116ff Mark some definitions as global, so as not to capture them.
2 years ago
Danila Fedorin 4586bd0188 Check for free variables in the environment before generalizing.
2 years ago
Danila Fedorin 1905601aaa Fork off the 12th version of the compiler.
2 years ago
Danila Fedorin 8c1168d818 Add seemingly missing string includes.
2 years ago
Danila Fedorin 577e0ad930 Finalize draft of polymorphism post
continuous-integration/drone/push Build is failing
Details
 2 years ago
Danila Fedorin 2a12f7f31e Switch to using type schemes and implement polymorphism in compiler series
2 years ago
Danila Fedorin 6714e18e7c Switch type environment to using pointers
2 years ago
Danila Fedorin 8ee016e189 Fork into version 10 of the compiler for blog series
2 years ago
Danila Fedorin bcaa67cc7a Begin implementation of new environment
3 years ago
Danila Fedorin d60d4e61bd Add environment code
3 years ago