search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

Create new mapError utility function and refactor some parser code #387

Closed fabianhjr closed 3 years ago

fabianhjr commented 4 years ago

This corresponds with edwinb/Idris2-SH#6