index
:
fwd
gnc
master
mvcheck
A programming language that cannot return
kimi.h.kuparinen+fwd@gmail.com
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
11 days
fix vec example
HEAD
master
Kimplul
12 days
add comment about hole in my assumptions
Kimplul
12 days
example/vec fixes
Kimplul
12 days
fix nil check lowering
Kimplul
12 days
fix type -> t
Kimplul
12 days
fix extern closure call arg type
Kimplul
12 days
fix occasional missing return
Kimplul
12 days
add exploded variables to context
Kimplul
12 days
remember to mark nodes lowered
Kimplul
12 days
indent write
Kimplul
12 days
add fallback return path
Kimplul
12 days
filter out empty nodes from statement list
Kimplul
12 days
vec example produces C, but broken C
Kimplul
2026-01-06
improve move checker to detect pointer leaks
gnc
Kimplul
2026-01-06
allow omitting ';' in trivial calls
Kimplul
2026-01-06
work towards a simple integer vector implementation
Kimplul
2026-01-06
implement enough type analysis for vector example
Kimplul
2025-08-10
small build system improvements
Kimplul
2025-05-01
Copy individual fields instead of a whole struct
Kimplul
2025-03-30
WIP: rewrite C++ backend to be C
Kimplul
2025-03-23
start sketching out type system
Kimplul
2025-03-22
use maps in scope
Kimplul
2025-03-22
improve printing
Kimplul
2025-03-22
bump conts and remove c23 requirement
Kimplul
2025-03-18
use generic conts
Kimplul
2025-03-18
add move queues
Kimplul
2025-03-17
fix some total moves
Kimplul
2025-03-17
improve codegen
Kimplul
2025-03-17
detect leaks
Kimplul
2025-01-09
initial ptr stuff
Kimplul
2025-01-09
initial reference checking
Kimplul
2025-01-06
fix some analyzer warnings
Kimplul
2025-01-06
implement move checking further
mvcheck
Kimplul
2025-01-04
initial move checking
Kimplul
2025-01-01
run formatter
Kimplul
2024-12-28
enough type checking for all examples to pass
Kimplul
2024-12-20
add enough type checking to compile uniq.fwd
Kimplul
2024-12-20
fix generated files in .gitignore
Kimplul
2024-12-11
add note about closure calls
Kimplul
2024-12-08
add some thought about error handling
Kimplul
2024-12-07
add a motivating case
Kimplul
2024-12-06
add trailing closures
Kimplul
2024-12-06
formatting
Kimplul
2024-12-06
show usage for examples
Kimplul
2024-12-06
fix some comments in the examples
Kimplul
2024-12-06
add types to parser
Kimplul
2024-12-05
add note about functions as expressions
Kimplul
2024-12-05
add extra requirement for returns that I forgot
Kimplul
2024-12-04
remove mention that there's only a `uniq` example
Kimplul
2024-12-04
implement expression handling further
Kimplul
[next]