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
/
README.md
Commit message (
Expand
)
Author
Age
Files
Lines
*
Module format v7 (Pure 027's 4b-2): keyed documents gone from the language: n...
eunhhu
40 hours
1
-5
/
+4
*
Give aup an i64: exact integers, and literals typed by what they meet
eunhhu
2026-09-30
1
-1
/
+1
*
Give aup a bool: true and false, and conditions that take one
eunhhu
2026-09-30
1
-1
/
+1
*
Build Pure's hosts from its top level
eunhhu
2026-09-27
1
-6
/
+6
*
Add keyed lists and text comparison
eunhhu
2026-09-26
1
-1
/
+1
*
Add aup watch: build again when what a build read changes
eunhhu
2026-09-26
1
-0
/
+1
*
Check declared state across restarts
eunhhu
2026-09-25
1
-1
/
+2
*
Record Vega's first component in the plan
eunhhu
2026-09-25
1
-1
/
+1
*
Add fns and libraries
eunhhu
2026-09-25
1
-1
/
+1
*
Add conditional expressions and table views
eunhhu
2026-09-25
1
-1
/
+1
*
Add records, lists and indices
eunhhu
2026-09-25
1
-3
/
+5
*
Document the text language as implemented
eunhhu
2026-09-25
1
-3
/
+5
*
Compile messages and keyed documents to module v2
eunhhu
2026-09-25
1
-2
/
+5
*
Compile v0a programs to verified Pure modules
eunhhu
2026-09-25
1
-1
/
+12
*
Charter aup and specify language v0
eunhhu
2026-09-25
1
-0
/
+20