Fakultas Ilmu Komputer UI

Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • v2.0.0
  • v1.1.1
  • v1.1.0
  • v1.0.0
5 results
Created with Raphaël 2.2.016Nov14121127Jan25222025Dec19Jun6Apr8Mar37Jan6231Dec302923171615123Nov221514654331Oct30292321191817151453130Sep25242321201211875131Aug29241815129Jul282715update READMEmastermasterimplement multiplicationimplement add operationimplement for input number 0-9update README.mdadd conversion from number to church numeralUpdate `subGlobals` logicAdd let support in Lambda evaluatorMake sure we print a newline after the evalutation resultAdd support for let expressions in parser and pretty printerMore infrastructure work to add globalsPrerequisites for supporting Global stateUpdate gitignoreReplace readline with haskelineAdd hpackUpgrade lts-10.0Upgrade to lts@latestUpdate READMEBump to 2.0.0v2.0.0v2.0.0Update base < 5Upgrade to Stackage LTS@8.8Update SystemF TypeCheckerUpdate SystemF typecheckerUpdate SystemF Expression testUpdate SystemF syntaxUpdate SystemF Type checkerAdd a small typecheckerv1.1.1v1.1.1v1.1.1Fix cabal buildv1.1.0v1.1.0v1.1.0Make System F a secret featureAdd an hlint test suiteRefactor based on static analysisRefactor based on static analysisUpdate System F parserUpdate System F parserFix System F pretty printerUpdate System F parserUpdate System F parserRefactor System F prettyPrinter

Excellence In Teamwork