suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update bg/README

Browse Source
This commit is contained in:
Stephen Chang 2016-03-29 12:34:46 -04:00
parent 6815bd9127
commit 512d3fb378
1 changed files with 23 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
tapl/tests/mlish/bg/README.md
View File

@ -3,19 +3,11 @@ bg
mlish tests by Ben
`basics`
`basics-general`
---
```
(fn-list [f* : (List (→ A A))] [a : A] → A)
(count-letters/one [s : String] [c : Char] → Int)
(count-letters [s* : (List String)] [c : Char] → Int)
(map [f : (→ A B)] [x* : (List A)] → (List B))
(append [x* : (List A)] [y* : (List A)] → (List A))
(flatten [x** : (List (List A))] → (List A))
(insert [x : A] → (→ (List A) (List (List A))))
(permutations [x* : (List A)] → (List (List A)))
(split [ab* : (List (** A B))] → (** (List A) (List B)))
(combine [a*b* : (** (List A) (List B))] → (List (** A B)))
(fst [xy : (** A B)] → A)
(snd [xy : (** A B)] → B)
(member [x* : (List A)] [y : A] → Bool)
@ -24,14 +16,24 @@ mlish tests by Ben
(filter [f : (→ A Bool)] [x* : (List A)] → (List A))
(sum [x* : (List Float)] → Float)
(reverse [x* : (List A)] → (List A))
```
`basics`
---
```
(fn-list [f* : (List (→ A A))] [a : A] → A)
(count-letters/one [s : String] [c : Char] → Int)
(count-letters [s* : (List String)] [c : Char] → Int)
(flatten [x** : (List (List A))] → (List A))
(insert [x : A] → (→ (List A) (List (List A))))
(permutations [x* : (List A)] → (List (List A)))
(split [ab* : (List (** A B))] → (** (List A) (List B)))
(combine [a*b* : (** (List A) (List B))] → (List (** A B)))
(convolve [x* : (List Float)] [y* : (List Float)] → Float)
(mc [n : Int] [f : (→ A A)] [x : A] → A)
(square [n : Int] → Int)
(successor [mcn : (→ (→ A A) A A)] → (→ (→ A A) A A))
(map-index [is* : (List (** Int (List String)))] → (List (** String Int)))
(reduce-index [si* : (List (** String Int))] → (List (** String (List Int))))
(make-index [is* : (List (** Int (List String)))] → (List (** String (List Int))))
(split [x* : (List A)] → (** (List A) (List A)))
(split2 [x* : (List A)] → (** (List A) (List A)))
(merge [x*+y* : (** (List Int) (List Int))] → (List Int))
(mergesort {x* : (List Int)} → (List Int))
(quicksort [x* : (List Int)] → (List Int))
@ -45,6 +47,14 @@ mlish tests by Ben
(map-cps [f : (→ A B)] [x* : (List A)] → (List B))
```
`basics2`
---
```
(map-index [is* : (List (** Int (List String)))] → (List (** String Int)))
(reduce-index [si* : (List (** String Int))] → (List (** String (List Int))))
(make-index [is* : (List (** Int (List String)))] → (List (** String (List Int))))
```
`huffman`
---
```