updated "bignums" library (for new HOF prims)

pull/89/head
jmoenig 2019-04-26 11:57:52 +02:00
rodzic 1a11c00111
commit 699bc6da4d
2 zmienionych plików z 2 dodań i 18 usunięć

Wyświetl plik

@ -80,6 +80,7 @@
* updated "tools" library (for new HOF prims)
* 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)
### 2019-04-25
* updated German translation (for new HOF prims)

File diff suppressed because one or more lines are too long