|
Algebra
|
Add visibility rules on types
|
2020-05-30 17:03:15 +01:00 |
|
Compiler
|
Remove thin functions; replace with insertNames
|
2020-06-07 01:10:06 -04:00 |
|
Core
|
Merge pull request #226 from ShinKage/auto-implicit-depth
|
2020-06-08 11:45:33 +01:00 |
|
Data
|
Add missing totality annotations
|
2020-05-28 15:17:14 +01:00 |
|
Idris
|
Merge pull request #248 from vilunov/repl-let
|
2020-06-08 12:00:15 +01:00 |
|
Parser
|
Add reflection operation for adding declarations
|
2020-06-01 15:01:52 +01:00 |
|
Text
|
Some small parser improvements
|
2020-05-27 19:00:33 +01:00 |
|
TTImp
|
Merge pull request #239 from MarcelineVQ/elab-changes
|
2020-06-08 11:54:19 +01:00 |
|
Utils
|
Add visibility rules on types
|
2020-05-30 17:03:15 +01:00 |
|
Yaffle
|
Make pathToNS handle absolute path
|
2020-05-30 21:43:48 +08:00 |
|
Algebra.idr
|
Add missing totality annotations
|
2020-05-28 15:17:14 +01:00 |
