Steve Dunham d803af10aa Add Foldable class

2026-01-31 16:29:16 -08:00

..

DSortedMap.newt

Add some stray files

2026-01-23 12:00:00 -08:00

Fin.newt

additional cast from AoC

2025-12-26 13:02:27 -08:00

Graph.newt

SortedMap uses any comparator

2025-09-01 15:48:20 -07:00

Int.newt

move idris version to orig and newt version to src.

2025-02-15 16:36:29 -08:00

IORef.newt

Remove erased function arguments

2025-10-23 22:34:14 -07:00

List1.newt

move idris version to orig and newt version to src.

2025-02-15 16:36:29 -08:00

List.newt

Dependent records

2026-01-05 20:52:35 -08:00

SnocList.newt

use if/then/else for some constructor cases

2025-10-20 15:22:00 -07:00

SortedMap.newt

Add Foldable class

2026-01-31 16:29:16 -08:00

String.newt

move idris version to orig and newt version to src.

2025-02-15 16:36:29 -08:00

Vect.newt

Library additions from AoC

2025-12-16 20:14:19 -08:00