{"id":15817463,"url":"https://github.com/sumnerevans/lug-idris","last_synced_at":"2026-03-18T16:47:37.993Z","repository":{"id":134313110,"uuid":"123839050","full_name":"sumnerevans/lug-idris","owner":"sumnerevans","description":"A LUG Talk about Idris, a general purpose language with dependent types.","archived":false,"fork":false,"pushed_at":"2018-06-06T03:34:41.000Z","size":1315,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-10-06T05:41:33.369Z","etag":null,"topics":["dependent-types","idris","lug","proof-assistant"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"cc-by-sa-4.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sumnerevans.png","metadata":{"files":{"readme":"README.rst","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":{"github":"sumnerevans","liberapay":"sumner"}},"created_at":"2018-03-04T23:28:03.000Z","updated_at":"2022-07-30T00:16:44.000Z","dependencies_parsed_at":null,"dependency_job_id":"3025d81d-ce29-4928-8c22-bae8c0e6b3e5","html_url":"https://github.com/sumnerevans/lug-idris","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/sumnerevans%2Flug-idris","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sumnerevans%2Flug-idris/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sumnerevans%2Flug-idris/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sumnerevans%2Flug-idris/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sumnerevans","download_url":"https://codeload.github.com/sumnerevans/lug-idris/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":246586051,"owners_count":20801026,"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":["dependent-types","idris","lug","proof-assistant"],"created_at":"2024-10-05T05:41:36.134Z","updated_at":"2026-01-11T02:26:44.363Z","avatar_url":"https://github.com/sumnerevans.png","language":"TeX","funding_links":["https://github.com/sponsors/sumnerevans","https://liberapay.com/sumner"],"categories":[],"sub_categories":[],"readme":".. image:: graphics/idris-logo.png\n\nlug-idris\n=========\n\nA LUG talk about Idris, a general purpose language with dependent types.\n\nTopics Covered\n--------------\n\n- Overview of Idris\n- Dependent Types\n- Basic Idris Syntax\n- Using Idris as a Proof Assistant\n\nRepo Organization\n-----------------\n\n- ``lug-idris.rst`` - the reStructuredText source of this presentation\n- ``out/*.pdf`` - the rendered presentation for various aspect ratios\n- ``demo`` - the files used to demonstrate Idris\n\nAuthors/Presenters\n------------------\n\n- `Sumner Evans`_\n- `Sam Sartor`_\n\n.. _Sumner Evans: https://github.com/sumnerevans\n.. _Sam Sartor: https://github.com/samsartor\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsumnerevans%2Flug-idris","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsumnerevans%2Flug-idris","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsumnerevans%2Flug-idris/lists"}