In this post, we enable our compiler to understand polymorphic data types.| danilafe.com
In this post, we enable our compiler to convert G-machine instructions to LLVM IR, which finally allows us to generate working executables.| danilafe.com
In this post, we allow our compiler to throw away invalid programs, detected using a monomorphic typechecking algorithm.| danilafe.com
In this post, we enable our compiler to convert programs written in our functional language to G-machine instructions.| danilafe.com