14 Commits

Author SHA1 Message Date
Patrick Stevens
ba57ab3bec Edit README to account for type-level naturals as units of measure 2020-11-03 17:51:24 +00:00
Smaug123
56d8ccfc68 Erase types 2020-11-03 17:49:58 +00:00
Smaug123
668a8801ae More tests 2020-10-28 20:26:41 +00:00
Patrick Stevens
9d3427005c Update README.md 2020-10-28 20:00:34 +00:00
Patrick Stevens
38b0fdc23f Update README.md 2020-10-28 19:54:22 +00:00
Smaug123
ec716e5b59 Split up result types 2020-10-28 19:51:15 +00:00
Smaug123
1ac2e905dd Improve 2020-10-25 17:02:26 +00:00
Smaug123
606d0cd5e7 Merge branch 'main' of github.com:Smaug123/fsharp-red-black-tree into main 2020-10-25 16:58:55 +00:00
Patrick Stevens
7331d32d7d Add actions 2020-10-25 14:34:36 +00:00
Smaug123
c19f6c8917 A better toSeq 2020-10-25 14:30:00 +00:00
Smaug123
4020f68c08 Extend to sets 2020-10-25 14:17:17 +00:00
Patrick Stevens
2484213fe0 Create LICENSE 2020-10-25 13:48:32 +00:00
Smaug123
89644de7c7 Update 2020-10-25 13:43:37 +00:00
Smaug123
4d4eaef9df Initial commit 2020-10-25 10:25:38 +00:00