https://github.com/risto-stevcev/idris-jserror

The javascript error type in idris
https://github.com/risto-stevcev/idris-jserror

error idris javascript

Last synced: about 1 month ago
JSON representation

The javascript error type in idris

• Host: GitHub
• URL: https://github.com/risto-stevcev/idris-jserror
• Owner: Risto-Stevcev
• License: mit
• Created: 2017-07-10T11:10:20.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-07-10T11:43:18.000Z (over 7 years ago)
• Last Synced: 2024-10-28T23:07:14.079Z (3 months ago)
• Topics: error, idris, javascript
• Language: Idris
• Size: 2.93 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# idris-jserror

The javascript error type in idris

**Note:** There is a bug in the Idris v1.0 release where the JS FFI doesn't 

properly handle callbacks, you need to use v0.99.2 or subsequent versions (see idris-lang/Idris-dev#3742)