edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-08 22:30:30 +03:00
Code Issues Projects Releases Wiki Activity
0ed9f6cee6
Idris2-boot/tests/idris2/linear008
History
Edwin Brady 6267231649 Cut down default search depth 
If it's not going to find an auto implicit by then, it never will, and
we'll just take ages to get an error
2020-02-13 18:23:40 +00:00
..
Door.idr Cut down default search depth 2020-02-13 18:23:40 +00:00
expected Cut down default search depth 2020-02-13 18:23:40 +00:00
run Cut down default search depth 2020-02-13 18:23:40 +00:00