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