https://github.com/sumnerevans/lug-idris

A LUG Talk about Idris, a general purpose language with dependent types.
https://github.com/sumnerevans/lug-idris

dependent-types idris lug proof-assistant

Last synced: 20 days ago
JSON representation

A LUG Talk about Idris, a general purpose language with dependent types.

• Host: GitHub
• URL: https://github.com/sumnerevans/lug-idris
• Owner: sumnerevans
• License: cc-by-sa-4.0
• Created: 2018-03-04T23:28:03.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-06-06T03:34:41.000Z (over 6 years ago)
• Last Synced: 2024-10-06T05:41:33.369Z (3 months ago)
• Topics: dependent-types, idris, lug, proof-assistant
• Language: TeX
• Homepage:
• Size: 1.25 MB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE

Awesome Lists containing this project

README

        
.. image:: graphics/idris-logo.png

lug-idris

=========

A LUG talk about Idris, a general purpose language with dependent types.

Topics Covered

--------------

- Overview of Idris

- Dependent Types

- Basic Idris Syntax

- Using Idris as a Proof Assistant

Repo Organization

-----------------

- ``lug-idris.rst`` - the reStructuredText source of this presentation

- ``out/*.pdf`` - the rendered presentation for various aspect ratios

- ``demo`` - the files used to demonstrate Idris

Authors/Presenters

------------------

- `Sumner Evans`_

- `Sam Sartor`_

.. _Sumner Evans: https://github.com/sumnerevans

.. _Sam Sartor: https://github.com/samsartor