EBEdwin BradyMerge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master9930b646 years agoHistory

Name	Last commit message	Last commit date
..
conclusions.rst
index.rst
interactive.rst
interfaces.rst
interp.rst
introduction.rst
miscellany.rst
modules.rst
multiplicities.rst
packages.rst
starting.rst
theorems.rst
typesfuns.rst
views.rst