Pinned Repositories
idris-containers
Various data structures for use in the Idris Language.
idris2dart
An Idris 2 code generator that outputs Dart code.
mostly-adequate-fp-ts
A companion guide to Professor Frisby's Mostly Adequate Guide for the fp-ts library
rafaelprev's Repositories
rafaelprev/idris-containers
Various data structures for use in the Idris Language.
rafaelprev/idris2dart
An Idris 2 code generator that outputs Dart code.
rafaelprev/mostly-adequate-fp-ts
A companion guide to Professor Frisby's Mostly Adequate Guide for the fp-ts library