index
:
fwd
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
4 days
WIP: rewrite C++ backend to be C
HEAD
master
Kimplul
10 days
start sketching out type system
Kimplul
12 days
use maps in scope
Kimplul
12 days
improve printing
Kimplul
12 days
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
2024-12-03
initial commit
Kimplul