* [ ] Converting [test/Hello.agda](https://github.com/lemastero/agda2rust/blob/master/test/Hello.agda) into [test/Test.rs](https://github.com/lemastero/agda2rust/blob/master/test/Test.rs) should be a unit test (goldent test). See: https://github.com/jespercockx/agda2scheme/issues/15#issuecomment-1848444725 and https://github.com/agda/agda2hs/tree/master/test/golden * [ ] Converted examples automatically should become a documentation.
See: jespercockx/agda2scheme#15 (comment) and https://github.com/agda/agda2hs/tree/master/test/golden