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 (
Collapse
)
Author
Age
*
docs: add EXAMPLES.md, minor updates
JJ
2024-05-20
|
*
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
|
|
|
|
|
|
|
|
- rewrite types section - discuss scope - discuss errors as effects - fix interop misconceptions - various smaller changes
*
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, ↵
JJ
2023-12-28
|
|
|
|
modules, and unions. rewrite documentation on interfaces. complete the introductory overview. many minor cleanups.
*
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