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
path:
root
/
docs
/
design
Commit message (
Expand
)
Author
Age
Files
Lines
*
Check a payments API's answers coming back as events exactly once
eunhhu
2026-09-27
1
-0
/
+3
*
Declare outputs and send them: output ordered = message { ... }
eunhhu
2026-09-27
1
-0
/
+4
*
Group message fields: to: { city: text }, read as ship.to.city
eunhhu
2026-09-27
1
-0
/
+4
*
Add time: now, every timers, floor and %
eunhhu
2026-09-26
1
-0
/
+24
*
Declare number and text message fields; check JSON bodies
eunhhu
2026-09-26
1
-1
/
+4
*
Add keyed lists and text comparison
eunhhu
2026-09-26
1
-2
/
+39
*
Add aup watch: build again when what a build read changes
eunhhu
2026-09-26
1
-0
/
+22
*
Find an item with first(t in tasks where ...)
eunhhu
2026-09-26
1
-0
/
+3
*
Filter a table view with where
eunhhu
2026-09-26
1
-0
/
+4
*
Add count, sum, max and min over a list
eunhhu
2026-09-26
1
-0
/
+21
*
Declare marks: cursors that stay before inserted text
eunhhu
2026-09-26
1
-0
/
+4
*
Check declared state across restarts
eunhhu
2026-09-25
1
-0
/
+4
*
Record Vega's first component in the plan
eunhhu
2026-09-25
1
-1
/
+1
*
Add fns and libraries
eunhhu
2026-09-25
2
-5
/
+34
*
Add conditional expressions and table views
eunhhu
2026-09-25
2
-4
/
+29
*
Emit Pure module format v5
eunhhu
2026-09-25
1
-1
/
+1
*
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
2
-4
/
+45
*
Document the text language as implemented
eunhhu
2026-09-25
2
-2
/
+18
*
Compile messages and keyed documents to module v2
eunhhu
2026-09-25
2
-17
/
+24
*
Set the DSL direction and the text model
eunhhu
2026-09-25
1
-0
/
+70
*
Charter aup and specify language v0
eunhhu
2026-09-25
1
-0
/
+110