Idris/ssg
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
ssg/test/hedgehog/001-lines
History
Exact
Nathan McCarty bd94410c01 Lines effect
2025-02-25 10:09:30 -05:00
..
expected Lines effect 2025-02-25 10:09:30 -05:00
Main.idr Lines effect 2025-02-25 10:09:30 -05:00
pack.toml Lines effect 2025-02-25 10:09:30 -05:00
run Lines effect 2025-02-25 10:09:30 -05:00
test.ipkg Lines effect 2025-02-25 10:09:30 -05:00