src/Idris/Elab · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

readme files commits refs

on 17c537f help sign in

Idris-dev/src/Idris/Elab

9 files

../ Class.hsSave terms in docstrings12 years ago Clause.hsUse exact name lookup when building from ibc12 years ago Data.hsSave terms in docstrings12 years ago Instance.hsSplit elaborator into multiple source files12 years ago Provider.hsSave terms in docstrings12 years ago Record.hsSave terms in docstrings12 years ago Type.hsSave terms in docstrings12 years ago Utils.hsSave terms in docstrings12 years ago Value.hsSave terms in docstrings12 years ago

soft-serve v0.12.3

keysesc to close

j k: move down, up
enter: open
esc: back, or up a level
1 2 3 4: readme, files, commits, refs
/: filter
y: copy the clone command
c: compare the chosen commit with another (or shift-click both)
?: show or hide this list