git.iko.soy/Idris-dev
on cd58dfb help sign in
cd58dfbadd documentation for elaboration reflectionMartin Baker d748d5eadd documentation for elaboration reflectionMartin Baker ed4d4cfMerge pull request #4699 from melted/issue-4698Niklas Larsson 1891190Mangle unicode identifiers in C backendNiklas Larsson 62bd431Add Clock/clockTime in SystemEdwin Brady dd065f3Fix potential memory error on tail callsEdwin Brady a93d8c9Merge pull request #4691 from jfdm/fix-rtd-errorJan de Muijnck-Hughes 4fc3ea0RTD builds were failing due to lack of pngmath extensions.Jan de Muijnck-Hughes c2d21f8Merge pull request #4689 from jfdm/improve-language-docJan de Muijnck-Hughes 3befe35Merge pull request #4687 from martinbaker/myDocJan de Muijnck-Hughes 58bfb08Initial transfer of {AS} grammar to Sphinx Documtation.Jan de Muijnck-Hughes 5379401small correctionMartin Baker a38dc57fix minor foratting issueMartin Baker e8fbb8cSuggested changes from David Thrane ChristiansenMartin Baker ba5c9d3retain old tactics documentationMartin Baker 52c8677rewrite documentation for interactive theorem provingMartin Baker c736c53Merge pull request #4678 from mokshasoft/small-rts-fixesNiklas Larsson 72bcc27Moved process count-down to terminate function for the C RTSJonas Claeson cb90bf8Merge pull request #4685 from ziman/generalised-nat-hackNiklas Larsson f3c3711Make stylish-haskell happy.Matus Tejiscak ac26ce5Update comment.Matus Tejiscak 21319b8Express a multiway "if" differently (GHC compat).Matus Tejiscak b09150eUpdate test010.Matus Tejiscak 938664dUpdate man page.Matus Tejiscak 11b4fb1Rename to --optimise-nat-like-types.Matus Tejiscak c899bcfRename --generalised-nat-hack to --opt-nat-likes.Matus Tejiscak f2ee9e9Don't lambda-wrap unsaturated prim__addBigInt.Matus Tejiscak 593cadeFix the "looks like S" check.Matus Tejiscak 11d54e7Add --generalised-nat-hack.Matus Tejiscak f0f566fFix unary apps + ordering of case trees.Matus Tejiscak 6ef51e3Add forgotten default clause.Matus Tejiscak e1afa90Add error message.Matus Tejiscak 5e2000eHook case trees, too.Matus Tejiscak 137d2aeCheck recursivity of S.Matus Tejiscak e16f741Extend the Nat hack for Nat-like families.Matus Tejiscak aee9c52Merge pull request #4684 from ivanperez-keera/masterNiklas Larsson 7c7a17aFixes error in type definition for So.Ivan Perez 4b918b1Also destroy the pthread_attr_tJonas Claeson 01e5bb8Simplyfy the terminate function sligthlyJonas Claeson 6365851Also destroy the alloc_lock mutexJonas Claeson 73e0a98Fix leak of ThreadDataJonas Claeson 268db5dMerge pull request #4677 from bor0/patch-1Niklas Larsson 9d03084Merge pull request #4658 from martinbaker/mydocNiklas Larsson a5f4d7dMerge pull request #4675 from Sventimir/algebra-proofsNiklas Larsson 23e14feMerge pull request #4674 from mokshasoft/sel4-cmakeNiklas Larsson 4418684Update Runtime-node.jsBoro Sitnikovski 0597159ThreadData only needed when pthread is enabledJonas Claeson 5d29252Eliminate redundant lets.Sventimir 04abcaememcpy neede by idris_rts.h even without pthread enabledJonas Claeson f95d230Update the seL4 build to use CMake instead of KbuildJonas Claeson