Ohad Kammar ac1fa28890 Add a simple DYI f-string / string interpolation library ... Apparently the concrete syntax is controversial ("{apples}" vs. "$oranges"), so I'm just adding a simple DYI version until we agree on a concrete syntax		2020-06-26 16:52:37 +01:00
..
Fin	various stdlib updates	2020-06-11 23:14:11 +02:00
Linear	Be explicit about multiplicity in Array	2020-06-12 14:18:57 +01:00
List	minor: fix spaces/alignment	2020-06-16 20:36:15 +01:00
Logic	Port over some contrib stuff	2020-06-15 14:56:19 -05:00
Nat	Port over some contrib stuff	2020-06-15 14:56:19 -05:00
String	Add a simple DYI f-string / string interpolation library	2020-06-26 16:52:37 +01:00
SortedMap.idr	various stdlib updates	2020-06-11 23:14:11 +02:00
SortedSet.idr	Add libraries	2020-05-18 14:00:08 +01:00