A Hugo incarnation of the blog.
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 week ago
..
examples Finish draft of part 12 of compiler series. 1 week ago
CMakeLists.txt Start working on a lifted version of a definition. 1 month ago
ast.cpp Make proofreading-based fixes. 1 week ago
ast.hpp Add first draft of lambdas. 2 weeks ago
binop.cpp Fork off the 12th version of the compiler. 1 month ago
binop.hpp Fork off the 12th version of the compiler. 1 month ago
definition.cpp Fix typechecking of mutually recursive functions. 1 week ago
definition.hpp Maybe finish the let/in code? 1 month ago
env.cpp Fork off the 12th version of the compiler. 1 month ago
env.hpp Start working on translation. 1 month ago
error.cpp Fork off the 12th version of the compiler. 1 month ago
error.hpp Fork off the 12th version of the compiler. 1 month ago
global_scope.cpp Maybe finish the let/in code? 1 month ago
global_scope.hpp Remove unneeded parent class. 2 weeks ago
graph.cpp Fork off the 12th version of the compiler. 1 month ago
graph.hpp Extract ordering functionality into definition group. 1 month ago
instruction.cpp Fork off the 12th version of the compiler. 1 month ago
instruction.hpp Fork off the 12th version of the compiler. 1 month ago
llvm_context.cpp Fork off the 12th version of the compiler. 1 month ago
llvm_context.hpp Fork off the 12th version of the compiler. 1 month ago
main.cpp Maybe finish the let/in code? 1 month ago
parsed_type.cpp Fork off the 12th version of the compiler. 1 month ago
parsed_type.hpp Fork off the 12th version of the compiler. 1 month ago
parser.y Add first draft of lambdas. 2 weeks ago
runtime.c Fork off the 12th version of the compiler. 1 month ago
runtime.h Fork off the 12th version of the compiler. 1 month ago
scanner.l Add first draft of lambdas. 2 weeks ago
test.cpp Fork off the 12th version of the compiler. 1 month ago
type.cpp Fix typechecking of mutually recursive functions. 1 week ago
type.hpp Adjust type output. 1 month ago
type_env.cpp Fix typechecking of mutually recursive functions. 1 week ago
type_env.hpp Fix typechecking of mutually recursive functions. 1 week ago