descriptionStatically typed functional language, to be named
ownerLuke Lau
last changeSat, 17 Aug 2019 18:53:14 +0000 (19:53 +0100)
shortlog
2019-08-17 Luke LauFix total pattern match verification master
2019-08-17 Luke LauStore ADTs with only singletons in registers
2019-08-16 Luke LauCheck for complete pattern matches
2019-08-16 Luke LauAdd extra spicy test case
2019-08-16 Luke LauFix typechecking with bindings
2019-08-15 Luke LauStart work on collecting all bindings when typechecking...
2019-08-15 Luke LauAdd more complicated pattern matching test case
2019-08-15 Luke LauFix bindings in ADT pattern matching codegen
2019-08-15 Luke LauAdd case statement codegen and singleton ADTs
2019-08-15 Luke LauHandle pattern matching entire expressions
2019-08-15 Luke LauAdd bindings to pattern matching in case statement...
2019-08-15 Luke LauFix up typechecking of case
2019-08-15 Luke LauWIP on typechecking case statements
2019-08-14 Luke LauStart work on case statements
2019-08-14 Luke LauFlesh out stack values within ADTs
2019-08-14 Luke LauFix typo
...
heads
11 months ago master
12 months ago typechecker-refactor