libs/contrib · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

readme files commits refs

on 2d3bbcc help sign in

Idris-dev/libs/contrib

7 folders, 3 files

../ CFFI/wip11 years ago Classes/Fix implicit name bindings in interfaces11 years ago Control/Change export qualifier keywords11 years ago Data/wip11 years ago Decidable/Change export qualifier keywords11 years ago Network/New rules for name visibility11 years ago System/findCalls should find constructors too11 years ago CFFI.idrStart high level C FFI support11 years ago MakefileInitial reorganization into contrib12 years ago contrib.ipkgStart high level C FFI support11 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