QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity
sophia/priv/stdlib
History
Gaith Hallak 3029bf31cb
Implement Set stdlib (#335) 
* Implement Set stdlib

* Rename an argument of the function Set.fold

* Add docs for Set stdlib

* Correct the usage of articles in the docs

* Fix bug

* Fix the link to Set stdlib section

Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com>
2021-08-07 10:08:45 +02:00
..
BLS12_381.aes
Add BLS12-381 operations (to FATE)
2019-11-27 10:57:24 +01:00
Frac.aes
Fix Frac library and add stdlib compilation test
2021-06-02 17:03:23 +02:00
Func.aes
More comments in stdlib (#237)
2020-02-25 12:56:51 +01:00
List.aes
Fix var
2021-06-26 19:10:49 +02:00
ListInternal.aes
Implement [a..b]
2019-08-27 13:59:01 +02:00
Option.aes
Add Option.force_msg (#328)
2021-08-03 11:39:53 +02:00
Pair.aes
More comments in stdlib (#237)
2020-02-25 12:56:51 +01:00
Set.aes
Implement Set stdlib (#335)
2021-08-07 10:08:45 +02:00
String.aes
Add some comments to String.aes
2020-02-28 11:07:02 +01:00
Triple.aes
More comments in stdlib (#237)
2020-02-25 12:56:51 +01:00