Edwin BradyFix some details of transforms3d598166 years agoHistory
NameLast commit messageLast commit date
..
Ambiguity.idrReplace RigCount by Semiring operations6 years ago
App.idrFix some details of transforms6 years ago
As.idrReplace RigCount by Semiring operations6 years ago
Binders.idrMerge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCount6 years ago
Case.idrMerge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCount6 years ago
Check.idrFix some details of transforms6 years ago
Delayed.idrReplace RigCount by Semiring operations6 years ago
Dot.idrResolving ambiguity under IMustUnify6 years ago
Hole.idrReplace RigCount by Semiring operations6 years ago
ImplicitBind.idrReplace RigCount by Semiring operations6 years ago
Lazy.idrReplace RigCount by Semiring operations6 years ago
Local.idrReplace RigCount by Semiring operations6 years ago
Prim.idrDetaggability under where clauses6 years ago
Quote.idrAdd unquoting/escaping6 years ago
Record.idrPrioritise resolution of delayed elaborators6 years ago
Rewrite.idrReplace RigCount by Semiring operations6 years ago
Term.idrReplace RigCount by Semiring operations6 years ago
Utils.idrReplace RigCount by Semiring operations6 years ago

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t