- Porting Idris's !-notation to Haskell https://docs.idris-lang.org/en/latest/tutorial/interfaces.html#notation 35 comments haskell
- Supporting Idris' !-notation in Haskell http://docs.idris-lang.org/en/latest/tutorial/interfaces.html#notation 32 comments haskell
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:docs.idris-lang.org
Search title: Interfaces — Idris 1.3.3 documentation
See how to search.