|
|
a264e3dc57
|
fix[compressed]: FIRST BUG, the Num instance for Natural is broken
|
2025-06-29 14:35:11 +02:00 |
|
|
|
7839627592
|
feat[app]: dumping all the instruction forms
|
2025-06-29 14:31:29 +02:00 |
|
|
|
b44e238907
|
doc[extended]: examples and exports
|
2025-06-29 14:20:43 +02:00 |
|
|
|
9dfbb4fb1e
|
feat[modules]: give datatypes their own file
|
2025-06-29 14:20:38 +02:00 |
|
|
|
0411e8af19
|
doc[haddock]: examples and comments
|
2025-06-29 13:38:36 +02:00 |
|
|
|
bfa071fb6b
|
doc[compressed]: Haddock coverage 100%
|
2025-06-29 13:22:53 +02:00 |
|
|
|
4aff1a56d6
|
doc[compressed]: commentation
|
2025-06-29 13:13:54 +02:00 |
|
|
|
4f31b90a26
|
fix[arbitrary]: apply hint (redundant $)
|
2025-06-29 12:45:45 +02:00 |
|
|
|
fc69c506ff
|
feat[app]: Parsing and printing the program
|
2025-06-29 11:00:39 +02:00 |
|
|
|
63f3b31dbb
|
fix[parse]: Clones the result vector only once.
I removed a `force`, I noticed that `freeze` was already doing a clone.
|
2025-06-29 10:30:44 +02:00 |
|
|
|
f9fd24261a
|
fix: function naming
|
2025-06-27 16:23:38 +02:00 |
|
|
|
a94455f365
|
change the compiler version for better HLS support
|
2025-06-27 16:21:38 +02:00 |
|
|
|
7705371b6b
|
feat: Natural instead of Ints for nonnegativity
|
2025-06-27 16:20:39 +02:00 |
|
|
|
2fc0d46ee9
|
fix: doc code comment
|
2025-06-27 16:19:59 +02:00 |
|
|
|
1b20f4ef71
|
fix[test]: missing argument to function
|
2025-06-23 14:03:54 +02:00 |
|
|
|
40ce94ab7b
|
feat[compressed]: ability to uncompress
|
2025-06-23 14:00:21 +02:00 |
|
|
|
f05da30c8a
|
feat: documentation
|
2025-06-20 10:37:55 +02:00 |
|
|
|
d012307d19
|
feat: tests for the rendering/parsing
|
2025-06-20 09:26:11 +02:00 |
|
|
|
9484d097d4
|
feat: StrictData + Unbounded Integer types
|
2025-06-19 21:51:45 +02:00 |
|
|
|
95f86c8660
|
feat: QuickCheck testing
|
2025-06-19 21:51:34 +02:00 |
|
|
|
cbccc8253b
|
I already did a lot of things
|
2025-06-18 13:13:41 +02:00 |
|
