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

git.iko.soy/Idris-dev

readme files commits refs

on 02de034 help sign in

Idris-dev/src/Idris/Elab

10 files

../ Class.hsFix for pattern vars in transforms12 years ago Clause.hsUndo log level 0!12 years ago Data.hsAdded TODOs and FIXMEs from the Elaborator for Data.12 years ago Instance.hsFix for pattern vars in transforms12 years ago Provider.hsSave terms in docstrings12 years ago Record.hsSave terms in docstrings12 years ago Transform.hsPartial evaluator fixes12 years ago Type.hsFix for pattern vars in transforms12 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