updated "crayons" library (for new HOF prims)

pull/89/head
jmoenig 2019-04-26 12:08:53 +02:00
rodzic 699bc6da4d
commit 615ff08633
2 zmienionych plików z 2 dodań i 120 usunięć

Wyświetl plik

@ -81,6 +81,7 @@
* removed "catch" etc. from "tools" library (has been moved to "iteration" lib)
* updated "cases" library (for new HOF prims)
* updated "bignums" library (for new HOF prims)
* updated "crayons" library (for new HOF prims)
### 2019-04-25
* updated German translation (for new HOF prims)

File diff suppressed because one or more lines are too long