Lazy functional language compiler targeting LLVM.
Haskell Smalltalk Other
Permalink
Failed to load latest commit information.
codegen Added simple integration with Erlang nodes through erl_interface Aug 17, 2011
erlang Added simple integration with Erlang nodes through erl_interface Aug 17, 2011
examples Added string example Sep 27, 2011
templates Added simple integration with Erlang nodes through erl_interface Aug 17, 2011
.gitignore added executable file to .gitignore Sep 27, 2011
AbstractDataTypes.hs Type checking for lists added. Sep 13, 2011
CaseTransformer.hs Allowing characters in patterns. Aug 18, 2011
CodeGen.hs Evaluator state is now a record, improvements in type checking Sep 28, 2011
Common.hs Evaluator state is now a record, improvements in type checking Sep 28, 2011
Core.hs Stub of code generation module Jul 21, 2011
DependencyAnalyser.hs Added support for single characters in GmEvaluator. Aug 18, 2011
Gc.hs Enabled very simple gc strategy, just for presentation purposes. Sep 28, 2011
GmCompiler.hs Temporarily got rid of ++ operator Sep 28, 2011
GmEvaluator.hs Enabled very simple gc strategy, just for presentation purposes. Sep 28, 2011
LambdaCalculusTransformer.hs Added support for single characters in GmEvaluator. Aug 18, 2011
LambdaLifter.hs Allowing characters in patterns. Aug 18, 2011
LazyLambdaLifter.hs Dependency analysis takes place after lambda lifting now. Sep 17, 2011
LetTransformer.hs Syntax fixes. Sep 10, 2011
Lexer.hs Properly checking type for factorial function Sep 27, 2011
Main.hs Fixed bug - no matching pattern found. Aug 9, 2011
Makefile Makefile added. Sep 27, 2011
NameSupply.hs Letrecs are working correctly for nested patterns now. Jun 25, 2011
Parser.hs Properly checking type for factorial function Sep 27, 2011
ParserTypes.hs Introduced NameSupply to PatternMatcher, fixed bug with applying lamb… Jul 25, 2011
PatternMatching.hs Allowing characters in patterns. Aug 18, 2011
README.md Added very simple README file. Jul 10, 2011
TypeChecker.hs Cleaned up type checker. Sep 28, 2011
Utils.hs Transforming let expressions in order to allow patterns in them. Jun 24, 2011

README.md

Kivi readme

Running examples

$ ghc --make Main
$ ./Main examples/fac.kv