List view

Kind Checker - Update 1

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Closed (completed).

#12 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Mar 21, 2023

Catalyst milestone 2: End to end proof of concept

catalyst

Status: Closed (completed).

#45 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on May 23, 2023

Sum and Product type expressions

codegen

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

frontend

Status: Closed (completed).

#51 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 21, 2023

KC: Integrate Common Validated Proto Types

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 26

#26 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Jan 30, 2023

Kind Checker: CLI Integration

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 32

#32 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 8, 2023

Compiler: Arbitrary Instances + Property Test

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 34

#34 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 10, 2023

Compiler: multiple declaration error

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 39

#39 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 13, 2023

Introducing first class Product and Record types

codegen

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

enhancementNew feature or requestNew feature or request

frontend

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 71

#71 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 16, 2023

Codegen: Setting up the CLI

codegen

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 67

#67 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 15, 2023

clean-up: remove redundant files

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 66

#66 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 28, 2023

Compiler: additional Tests

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

testingAnything with testsAnything with tests

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 69

#69 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Mar 3, 2023

Coden: LamVal and Haskell instance implementation printing

catalyst

codegen

enhancementNew feature or requestNew feature or request

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 73

#73 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 20, 2023

Frontend: Class definitions and rules

frontend

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 74

#74 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 21, 2023

Compiler: MiniLog becomes co-inductive

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 75

#75 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 21, 2023

Codegen: Purescript module

catalyst

codegen

enhancementNew feature or requestNew feature or request

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 78

#78 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 22, 2023

Catalyst milestone: Prepares the demo environments

catalyst

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 77

#77 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 22, 2023

Demo adjustments and storing the autogen files

catalyst

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 79

#79 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 22, 2023

Reworking the Compiler ProtoCompat (big one)

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

enhancementNew feature or requestNew feature or request

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 48

#48 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Feb 15, 2023

compiler: Constructor based KC

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 47

#47 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 14, 2023

Codegen: Scaffolding

codegen

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 60

#60 In mlabs-haskell/lambda-buffers;

· by bladyjoker was closed on Mar 2, 2023

Compiler: ProtoCompat Inference Integration

compilerWork related to the Lambda Buffers CompilerWork related to the Lambda Buffers Compiler

Status: Merged (completed).

mlabs-haskell/lambda-buffersnumber 58

#58 In mlabs-haskell/lambda-buffers;

· by cstml was closed on Feb 28, 2023