git.iko.soy/Idris-dev
on master help sign in
history of65ba5c5..master
compare
c80f9fa[ fix ] handle empty NS + test caseGuillaume Allais fdbcc73[ fix #4304 ] Make the Module Name parser explicitGuillaume Allais db69077Fix binding rules in patternsEdwin Brady 5205520Add mysteriously missing bits of regression002Edwin Brady 663fb20Merge pull request #4305 from idris-lang/make-idris-buffers-kandrAhmad Salim Al-Sibahi 069c17bMake Idris Buffers K&R compatibleAhmad Salim Al-Sibahi 5882c38Fix checking if error is recoverable wrt coverageIlya Yanok a6d701aAdd tests for #4282 and #4299Ilya Yanok c60a22bFix tests (buffer002, regression002)Edwin Brady e0e405fFix bounds check in set/getBufferDoubleEdwin Brady 578134cGet and set Double in Data.BufferEdwin Brady 6dca7b8Remove pointless logging directives in regression2Edwin Brady fc261d6Add missing test fileEdwin Brady