3 ms·

Here's a toy example: a single-page web app written in Idris. https://github.com/gergoerdi/icfp-bingo-2017-idris https://github.com/gergoerdi/icfp-bingo-2017-id

Here's a toy example: a single-page web app written in Idris. https://github.com/gergoerdi/icfp-bingo-2017-idris https://github.com/gergoerdi/icfp-bingo-2017-idris