index
:
puck
main
[wip] Some notes on a language with ownership, effects-and-handlers, and hygienic macros.
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
docs
Commit message (
Expand
)
Author
Age
*
docs: update highlighting
JJ
2024-05-17
*
std: switch from chr to char
JJ
2024-05-17
*
docs: update website
JJ
2024-05-17
*
docs: sweeping changes
JJ
2024-05-14
*
docs: update for previous commit accordingly
JJ
2024-05-10
*
docs: host mdbook
JJ
2024-01-28
*
docs: add notices of caution to incomplete sections
JJ
2024-01-28
*
docs: complete MODULES.md. minor updates elsewhere. prepare for hosting
JJ
2024-01-28
*
std: rename std.pointers to std.mem
JJ
2024-01-28
*
docs: rename overview
JJ
2024-01-02
*
docs: finish overview prose, cleanups to syntax and types
JJ
2024-01-02
*
docs: sweeping changes. cement an understanding of error handling, async, mod...
JJ
2023-12-28
*
docs: rewrite BASIC.md
JJ
2023-11-07
*
docs: (very) draft notes on effects systems and interop
JJ
2023-11-05
*
docs: add notes on metaprogramming
JJ
2023-11-05
*
minor updates
JJ
2023-10-27
*
docs: minor module changes, README example, pattern matching
JJ
2023-08-17
*
docs: interfaces, distinct types, subtyping, and cleanups
JJ
2023-08-16
*
docs: attempt to define scope (to revisit after implementation)
JJ
2023-07-25
*
docs: forgot about generics
JJ
2023-07-25
*
docs: import module as name
JJ
2023-07-25
*
docs: initial formal description of grammar (missing scope)
JJ
2023-07-25
*
docs: flesh out the initial module system
JJ
2023-07-24
*
begin discussion of advanced types and some minor changes
JJ
2023-07-12
*
move docs into docs folder and update the readme
JJ
2023-07-12