| summaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Makefile | 720 | logplain |
| -rw-r--r-- | access.fate | 570 | logplain |
| -rw-r--r-- | access_constant_index.fate | 2658 | logplain |
| -rw-r--r-- | add_element.fate | 2952 | logplain |
| -rw-r--r-- | add_element_at.fate | 1610 | logplain |
| -rw-r--r-- | add_elements_of.fate | 1975 | logplain |
| -rw-r--r-- | allocate_and_free.fate | 375 | logplain |
| -rw-r--r-- | cast.fate | 3075 | logplain |
| -rw-r--r-- | cond.fate | 3977 | logplain |
| -rw-r--r-- | cons_car_cdr.fate | 1430 | logplain |
| -rw-r--r-- | count.fate | 1700 | logplain |
| -rw-r--r-- | field_access.fate | 2062 | logplain |
| -rw-r--r-- | filter.fate | 8585 | logplain |
| -rw-r--r-- | fold.fate | 4645 | logplain |
| -rw-r--r-- | ifelse.fate | 1087 | logplain |
| -rw-r--r-- | map.fate | 2343 | logplain |
| -rw-r--r-- | merge.fate | 10233 | logplain |
| -rw-r--r-- | ptr_and_at.fate | 2584 | logplain |
| -rw-r--r-- | trivial.fate | 528 | logplain |