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
/
001-language-v0.md
Commit message (
Expand
)
Author
Age
Files
Lines
*
Say what library records showed (002)
eunhhu
2026-10-04
1
-1
/
+1
*
Give aup an i64: exact integers, and literals typed by what they meet
eunhhu
2026-09-30
1
-2
/
+30
*
Give aup a bool: true and false, and conditions that take one
eunhhu
2026-09-30
1
-6
/
+31
*
Let declared fields be apart by commas, as a value's are
eunhhu
2026-09-30
1
-0
/
+1
*
Write a message once for its output and the input that takes it
eunhhu
2026-09-30
1
-0
/
+4
*
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
*
Declare number and text message fields; check JSON bodies
eunhhu
2026-09-26
1
-1
/
+4
*
Check declared state across restarts
eunhhu
2026-09-25
1
-0
/
+4
*
Add fns and libraries
eunhhu
2026-09-25
1
-3
/
+4
*
Add conditional expressions and table views
eunhhu
2026-09-25
1
-2
/
+2
*
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
1
-2
/
+3
*
Document the text language as implemented
eunhhu
2026-09-25
1
-1
/
+1
*
Compile messages and keyed documents to module v2
eunhhu
2026-09-25
1
-16
/
+23
*
Charter aup and specify language v0
eunhhu
2026-09-25
1
-0
/
+110