issues
search
andrew-johnson-4
/
lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
https://andrew-johnson-4.github.io/lambda-mountain/
MIT License
20
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Auto Coerce for slice indexes with Quick Prop
#996
andrew-johnson-4
closed
1 hour ago
2
Lsts based lsts tokenizer
#995
andrew-johnson-4
closed
2 hours ago
0
"Exceptions"
#994
andrew-johnson-4
opened
4 hours ago
2
Smart string types
#993
andrew-johnson-4
closed
5 hours ago
0
Cleanup frontends for LM, C, and LSTS through until type checking
#992
andrew-johnson-4
opened
9 hours ago
0
improved
#991
andrew-johnson-4
closed
9 hours ago
0
this depends on if syntax of shell, anyone with better ideas is welcome
#990
andrew-johnson-4
closed
10 hours ago
0
Contravariance of Arrow type return values
#989
andrew-johnson-4
opened
23 hours ago
0
Fast unify 1
#988
andrew-johnson-4
closed
23 hours ago
0
Improve Performance of Unification to Linear Time
#987
andrew-johnson-4
opened
1 day ago
2
Perf record deploy
#986
andrew-johnson-4
closed
1 day ago
0
Investigate divergence in Quick-Props
#985
andrew-johnson-4
opened
1 day ago
1
enable C optimizer by default
#984
andrew-johnson-4
closed
1 day ago
0
Remove old tag artifacts
#983
andrew-johnson-4
closed
1 day ago
0
Lsts remove unused types
#982
andrew-johnson-4
closed
1 day ago
0
add perf report and demangle scripts
#981
alex-s168
closed
1 day ago
1
emit #line for function declarations
#980
alex-s168
closed
1 day ago
0
Make global variable for unique interned smartstring
#979
andrew-johnson-4
opened
1 day ago
0
Remove unused type information
#978
andrew-johnson-4
closed
1 day ago
0
Reduce compile times to under 5s
#977
andrew-johnson-4
closed
11 hours ago
7
Derive fields with quick prop
#976
andrew-johnson-4
closed
1 day ago
0
Add an easy way to coerce a type into a Tagged case
#975
andrew-johnson-4
closed
1 day ago
0
Prevent quick-prop divergence
#974
andrew-johnson-4
closed
1 day ago
0
Add optional curly braces for if statements in LSTS
#973
andrew-johnson-4
closed
23 hours ago
0
Move Fields typing to use quick-props
#972
andrew-johnson-4
closed
1 day ago
0
Lsts quick prop enrich quick prop
#971
andrew-johnson-4
closed
2 days ago
0
Quick prop test 7
#970
andrew-johnson-4
closed
2 days ago
0
Move towards list repesentation for app args instead of cons lists
#969
andrew-johnson-4
opened
2 days ago
3
deploy
#968
andrew-johnson-4
closed
3 days ago
2
Cleanup main
#967
andrew-johnson-4
closed
3 days ago
0
Quick prop 4
#966
andrew-johnson-4
closed
3 days ago
0
C memcmp declaration
#965
alex-s168
closed
3 days ago
1
Derive local variable frame offsets with statement specialization
#964
andrew-johnson-4
opened
3 days ago
0
Quick prop 3
#963
andrew-johnson-4
closed
3 days ago
0
More work on quick prop
#962
andrew-johnson-4
closed
4 days ago
0
Derive fields always fast forward
#961
andrew-johnson-4
closed
4 days ago
0
WIP Blog Post: a la carte structural or nominal typing with derived corollaries
#960
andrew-johnson-4
closed
2 days ago
1
LSTS frontend type declarations
#959
andrew-johnson-4
opened
4 days ago
0
Lsts string format expression
#958
andrew-johnson-4
closed
4 days ago
0
Introduce corollaries and fast-forward inference rule
#957
andrew-johnson-4
closed
2 days ago
1
Regex syntax
#956
andrew-johnson-4
closed
5 days ago
0
Lisp/Scheme syntax parser
#955
andrew-johnson-4
opened
6 days ago
0
Make codegen total after typecheck
#954
andrew-johnson-4
opened
6 days ago
0
match pointers as "raw" pointers without dereferencing
#953
andrew-johnson-4
opened
6 days ago
0
[help wanted] `Invalid Macro Application` error
#952
alex-s168
opened
6 days ago
6
Substrings lhs lhs
#951
andrew-johnson-4
closed
6 days ago
0
documentation
#950
alex-s168
opened
6 days ago
1
define __STRICT_ANSI__
#949
alex-s168
closed
6 days ago
0
Compiler pass agnostic intermediate representation
#948
andrew-johnson-4
opened
6 days ago
0
Check warnings with clang
#947
andrew-johnson-4
opened
1 week ago
2
Next