Nicolas Abril
|
7611eaadb0
|
[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets
|
2024-03-29 10:49:36 +01:00 |
|
imaqtkatt
|
ec24ae2a80
|
Update float combinators doc and combinators test
|
2024-03-27 16:41:30 -03:00 |
|
imaqtkatt
|
6b7cbeb7be
|
Update cspell and add nat resugar test
|
2024-03-19 13:59:17 -03:00 |
|
Nicolas Abril
|
582ac2ba82
|
Add 'peekable' to cspell dictionary
|
2024-03-12 19:28:23 +01:00 |
|
imaqtkatt
|
4645b3231b
|
Update cycle error message
|
2024-03-12 12:41:08 -03:00 |
|
imaqtkatt
|
5fd3865f18
|
[sc-505] Include strict and lazy results
|
2024-03-08 15:28:43 -03:00 |
|
imaqtkatt
|
8722c96d2d
|
Merge pull request #214 from HigherOrderCO/chore/sc-482/add-documentation-on-how-pattern-matching
[sc-482] Add documentation on how pattern matching is encoded
|
2024-02-29 14:57:16 -03:00 |
|
tjjfvi
|
94c3b449f5
|
bump hvmc
|
2024-02-29 10:39:40 -05:00 |
|
imaqtkatt
|
bca59073c7
|
Fix typo and update word list
|
2024-02-28 15:35:57 -03:00 |
|
Nicolas Abril
|
7b859fc41e
|
[sc-441] Fix CI warnings
|
2024-02-27 22:01:08 +01:00 |
|
imaqtkatt
|
2c35a13074
|
Add "tunr" as correct word
|
2024-02-27 15:31:23 -03:00 |
|
T6
|
244acd19a2
|
configure ci (#204)
|
2024-02-26 09:32:33 -05:00 |
|