{"id":20132520,"url":"https://github.com/aherrmann/final-encoding-examples","last_synced_at":"2026-05-08T22:08:07.993Z","repository":{"id":71967649,"uuid":"59890319","full_name":"aherrmann/final-encoding-examples","owner":"aherrmann","description":"Example codes to blog post about final encoding of embedded languages","archived":false,"fork":false,"pushed_at":"2016-05-28T10:59:02.000Z","size":10,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-01-13T09:10:03.664Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/aherrmann.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null},"funding":{"open_collective":"bazel-rules-authors-sig"}},"created_at":"2016-05-28T10:57:51.000Z","updated_at":"2019-12-05T06:34:45.000Z","dependencies_parsed_at":null,"dependency_job_id":"5c9b2747-6101-4f57-8010-c2d641c2825d","html_url":"https://github.com/aherrmann/final-encoding-examples","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aherrmann%2Ffinal-encoding-examples","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aherrmann%2Ffinal-encoding-examples/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aherrmann%2Ffinal-encoding-examples/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aherrmann%2Ffinal-encoding-examples/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/aherrmann","download_url":"https://codeload.github.com/aherrmann/final-encoding-examples/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241577159,"owners_count":19984950,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-13T20:53:53.140Z","updated_at":"2026-05-08T22:08:02.952Z","avatar_url":"https://github.com/aherrmann.png","language":"Haskell","funding_links":["https://opencollective.com/bazel-rules-authors-sig"],"categories":[],"sub_categories":[],"readme":"# Mutual Recursion in Final Encoding - Examples\n\nExample codes to my [blog\npost](http://aherrmann.github.io/programming/2016/05/28/mutual-recursion-in-final-encoding)\nabout defining mutually recursive functions within an embedded language that is\nimplemented through final encoding in Haskell.\n\nThere are no special dependencies. The code has been tested on GHC 7.6.3 and\n7.10.3. To play around with the example codes simply load the corresponding\nmodule within `src/` into `ghci`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faherrmann%2Ffinal-encoding-examples","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Faherrmann%2Ffinal-encoding-examples","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Faherrmann%2Ffinal-encoding-examples/lists"}