index
:
aup
master
Declarative systems language and compiler targeting verified Pure modules.
Yeowoo Labs
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Filter a table view with where
eunhhu
2026-09-26
3
-7
/
+38
*
Add count, sum, max and min over a list
eunhhu
2026-09-26
3
-5
/
+229
*
Declare marks: cursors that stay before inserted text
eunhhu
2026-09-26
4
-7
/
+17
*
Check that lent answers count against the budget
eunhhu
2026-09-26
1
-2
/
+44
*
Check that reads lend a stable version
eunhhu
2026-09-26
1
-2
/
+35
*
Check the module server on three shards
eunhhu
2026-09-26
1
-10
/
+13
*
Check pure-serve, pipelined connections included
eunhhu
2026-09-26
2
-7
/
+66
*
Check the module server and saving in bursts
eunhhu
2026-09-26
2
-5
/
+155
*
Check declared state across restarts
eunhhu
2026-09-25
3
-1
/
+66
*
Record Vega's first component in the plan
eunhhu
2026-09-25
2
-2
/
+2
*
Add fns and libraries
eunhhu
2026-09-25
9
-51
/
+427
*
Add conditional expressions and table views
eunhhu
2026-09-25
6
-30
/
+270
*
Emit Pure module format v5
eunhhu
2026-09-25
2
-5
/
+5
*
Record the input limit of 32 in the language notes
eunhhu
2026-09-25
1
-1
/
+1
*
Add records, lists and indices
eunhhu
2026-09-25
6
-61
/
+589
*
Emit Pure module format v4
eunhhu
2026-09-25
3
-4
/
+4
*
Document the text language as implemented
eunhhu
2026-09-25
3
-5
/
+23
*
Compile text, cursors and strings to module v3
eunhhu
2026-09-25
3
-140
/
+696
*
Compile messages and keyed documents to module v2
eunhhu
2026-09-25
8
-109
/
+536
*
Set the DSL direction and the text model
eunhhu
2026-09-25
1
-0
/
+70
*
Compile v0a programs to verified Pure modules
eunhhu
2026-09-25
14
-1
/
+1105
*
Charter aup and specify language v0
eunhhu
2026-09-25
2
-0
/
+130