Play

Timeline
Login

Parents and children of check-in [442b0f85ca]

2021-04-17
11:05
First implementation of the standard library. Leaf check-in: 7e9c8cf531 user: robin.hansen tags: trunk
11:04
Add a couple of more functions to list module. Closed-Leaf check-in: 442b0f85ca user: robin.hansen tags: stdlib
2021-04-16
14:56
Fix bug where generic arguments in quotations didn't renamed properly in the type checking phase, ca... check-in: a64dc94e65 user: robin.hansen tags: stdlib