|
|
9646096c75
|
Fix uses of 'absurd' in Fixedpoint.agda
|
2023-11-23 14:15:40 -08:00 |
|
|
|
e4f87175a0
|
Remove IsDecidable record in favor of a plain definition
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-09-17 19:43:24 -07:00 |
|
|
|
e3b8cc39f1
|
Put the fixed point algorithm code into its own file
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-09-16 13:39:35 -07:00 |
|
