|
|
45674394e8
|
nix flake update
|
2023-02-11 23:34:54 +01:00 |
|
|
|
d0311bbca5
|
nix flake update
|
2022-08-18 00:22:01 +02:00 |
|
|
|
83ae1f835b
|
idris doesn't support ARM i don't think
|
2022-05-27 17:21:51 +02:00 |
|
|
|
97deb5f288
|
examples
|
2022-05-27 13:31:11 +02:00 |
|
|
|
520047b47f
|
add testThrowsIO
|
2022-05-27 13:31:01 +02:00 |
|
|
|
fdac74820c
|
put the reason first in todoWith/skipWith
it means less messing around when adding/removing skipWith, and
todoWith is just changed for consistency
|
2022-05-27 13:29:43 +02:00 |
|
|
|
ea0ae8f127
|
flake stuff
|
2022-05-26 19:09:53 +02:00 |
|
|
|
d8e8a95ef4
|
skeleton of example
|
2022-05-26 16:29:47 +02:00 |
|
|
|
4c0ab9ca9b
|
uncomment sourceloc
|
2022-05-26 15:44:31 +02:00 |
|
|
|
25a779eae4
|
docstrings
|
2022-05-26 15:41:48 +02:00 |
|
|
|
4a81280811
|
ignore "result"
|
2022-05-26 15:41:14 +02:00 |
|
|
|
06557200bc
|
first
|
2022-05-26 14:26:14 +02:00 |
|
