A Hugo incarnation of the blog. https://danilafe.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Danila Fedorin 7c4cfbf3d4 Fix typechecking of mutually recursive functions. 1 year ago
..
examples Finish draft of part 12 of compiler series. 1 year ago
CMakeLists.txt Start working on a lifted version of a definition. 2 years ago
ast.cpp Make proofreading-based fixes. 1 year ago
ast.hpp Add first draft of lambdas. 2 years ago
binop.cpp Fork off the 12th version of the compiler. 2 years ago
binop.hpp Fork off the 12th version of the compiler. 2 years ago
definition.cpp Fix typechecking of mutually recursive functions. 1 year ago
definition.hpp Maybe finish the let/in code? 2 years ago
env.cpp Fork off the 12th version of the compiler. 2 years ago
env.hpp Start working on translation. 2 years ago
error.cpp Fork off the 12th version of the compiler. 2 years ago
error.hpp Fork off the 12th version of the compiler. 2 years ago
global_scope.cpp Maybe finish the let/in code? 2 years ago
global_scope.hpp Remove unneeded parent class. 1 year ago
graph.cpp Fork off the 12th version of the compiler. 2 years ago
graph.hpp Extract ordering functionality into definition group. 2 years ago
instruction.cpp Fork off the 12th version of the compiler. 2 years ago
instruction.hpp Fork off the 12th version of the compiler. 2 years ago
llvm_context.cpp Fork off the 12th version of the compiler. 2 years ago
llvm_context.hpp Fork off the 12th version of the compiler. 2 years ago
main.cpp Maybe finish the let/in code? 2 years ago
parsed_type.cpp Fork off the 12th version of the compiler. 2 years ago
parsed_type.hpp Fork off the 12th version of the compiler. 2 years ago
parser.y Add first draft of lambdas. 2 years ago
runtime.c Fork off the 12th version of the compiler. 2 years ago
runtime.h Fork off the 12th version of the compiler. 2 years ago
scanner.l Add first draft of lambdas. 2 years ago
test.cpp Fork off the 12th version of the compiler. 2 years ago
type.cpp Fix typechecking of mutually recursive functions. 1 year ago
type.hpp Adjust type output. 2 years ago
type_env.cpp Fix typechecking of mutually recursive functions. 1 year ago
type_env.hpp Fix typechecking of mutually recursive functions. 1 year ago