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
/
compiler
/
compile.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Declare transient state: held while the app runs, never stored (Pure 018)
eunhhu
2026-10-04
1
-5
/
+18
*
Write a library's record as the app does in every hint, and post its rows ove...
eunhhu
2026-10-04
1
-4
/
+4
*
Let a library declare records, written LIBRARY.NAME (005's 4)
eunhhu
2026-10-04
1
-27
/
+159
*
Give aup an i64: exact integers, and literals typed by what they meet
eunhhu
2026-09-30
1
-99
/
+320
*
Give aup a bool: true and false, and conditions that take one
eunhhu
2026-09-30
1
-73
/
+122
*
Let declared fields be apart by commas, as a value's are
eunhhu
2026-09-30
1
-4
/
+17
*
Spread an item or a message into a record or a send, and set an item whole
eunhhu
2026-09-30
1
-8
/
+142
*
Write a message once for its output and the input that takes it
eunhhu
2026-09-30
1
-2
/
+34
*
Allow 16 records and 128 record fields
eunhhu
2026-09-28
1
-1
/
+1
*
Slice a keyed list by its keys
eunhhu
2026-09-28
1
-4
/
+39
*
Count distinct values
eunhhu
2026-09-28
1
-6
/
+8
*
Name a number or an index with let
eunhhu
2026-09-28
1
-3
/
+67
*
Give views arguments
eunhhu
2026-09-28
1
-4
/
+79
*
Walk lists with for, and take a message's rows
eunhhu
2026-09-28
1
-12
/
+165
*
Let a fold in a column read the column's row
eunhhu
2026-09-28
1
-4
/
+4
*
Name aup's one part: compiler/
eunhhu
2026-09-27
1
-0
/
+2369