issues
search
Lambda-Mountain-Compiler-Backend
/
lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
https://github.com/andrew-johnson-4/lambda-mountain/wiki
MIT License
29
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Imperative Macros
#1589
andrew-johnson-4
opened
1 week ago
1
ChatGPT state of play
#1588
andrew-johnson-4
opened
1 week ago
0
Normalize ascription syntax
#1587
andrew-johnson-4
closed
1 week ago
0
naming conventions
#1586
andrew-johnson-4
closed
1 week ago
0
Implement var-to-def index inside typechecker
#1585
andrew-johnson-4
opened
1 week ago
0
Row Types for the type system
#1584
andrew-johnson-4
opened
1 week ago
1
Lone tag syntax lsts
#1583
andrew-johnson-4
closed
1 week ago
0
Remove all remaining LM Code
#1582
andrew-johnson-4
opened
1 week ago
1
Row typing for match to work with interfaces over structs
#1581
andrew-johnson-4
opened
1 week ago
0
Re-Add syntactic support for lone tags to LSTS
#1580
andrew-johnson-4
closed
1 week ago
0
Delete type1 logic
#1579
andrew-johnson-4
closed
1 week ago
0
type1 gone
#1578
andrew-johnson-4
closed
1 week ago
0
Type2 list map
#1577
andrew-johnson-4
closed
1 week ago
0
Ascript type2
#1576
andrew-johnson-4
closed
1 week ago
0
Type2 hints
#1575
andrew-johnson-4
closed
2 weeks ago
0
State Invariants
#1574
andrew-johnson-4
opened
2 weeks ago
0
Last spurt type2 sdddddd
#1573
andrew-johnson-4
closed
2 weeks ago
0
Protect Vector against mutation during iteration
#1572
andrew-johnson-4
opened
2 weeks ago
1
More type2 port fdsss
#1571
andrew-johnson-4
closed
2 weeks ago
0
More type2 fdssssss
#1570
andrew-johnson-4
closed
2 weeks ago
0
Port more to type2 fffffdd
#1569
andrew-johnson-4
closed
2 weeks ago
0
Flow Properties
#1568
andrew-johnson-4
opened
2 weeks ago
0
Parameter mismatch needs MGU
#1567
andrew-johnson-4
opened
2 weeks ago
3
Replace type1 with type2
#1566
andrew-johnson-4
closed
2 weeks ago
0
Remove type1 constructor syntax in LSTS
#1565
andrew-johnson-4
closed
1 week ago
0
Replace all type1 types with type2 definitions
#1564
andrew-johnson-4
closed
1 week ago
6
C type qualifiers for fields and variables
#1563
andrew-johnson-4
opened
2 weeks ago
0
Start migrating to type2
#1562
andrew-johnson-4
closed
2 weeks ago
0
Hard C Mode
#1561
andrew-johnson-4
opened
2 weeks ago
0
Reify necessary types during codegen (type2)
#1560
andrew-johnson-4
opened
2 weeks ago
0
Ordinal accessors
#1559
andrew-johnson-4
closed
2 weeks ago
0
Discriminator type2 cdssss
#1558
andrew-johnson-4
closed
2 weeks ago
0
always provide a discriminator
#1557
andrew-johnson-4
closed
2 weeks ago
0
Phi 2.0
#1556
andrew-johnson-4
opened
2 weeks ago
1
LM Type2 type definitions roundup (some things are still missing)
#1555
andrew-johnson-4
closed
2 weeks ago
1
Reorder type2 struct definitions based on dependency graph
#1554
andrew-johnson-4
closed
2 weeks ago
1
Finish type2 codegen fqqsss
#1553
andrew-johnson-4
closed
2 weeks ago
0
Finish type2 codegen
#1552
andrew-johnson-4
closed
3 weeks ago
0
almost ready for codegen
#1551
andrew-johnson-4
closed
3 weeks ago
0
Type2 codegen constructors
#1550
andrew-johnson-4
closed
3 weeks ago
0
Expand Tuple types to avoid english
#1549
andrew-johnson-4
opened
3 weeks ago
4
fixed infinite check
#1548
andrew-johnson-4
closed
3 weeks ago
0
Type2 codegen
#1547
andrew-johnson-4
closed
3 weeks ago
0
Validate parameter constraints for type2 types
#1546
andrew-johnson-4
closed
1 week ago
2
Field2 type2
#1545
andrew-johnson-4
closed
3 weeks ago
0
Typedef2 fields
#1544
andrew-johnson-4
closed
3 weeks ago
1
Typedef2 compiling
#1543
andrew-johnson-4
closed
3 weeks ago
0
Type2 missed syntax
#1542
andrew-johnson-4
closed
3 weeks ago
0
New style lm structs
#1541
andrew-johnson-4
closed
3 weeks ago
0
Reference Counted Garbage Collection
#1540
andrew-johnson-4
opened
4 weeks ago
3
Next