BartAdv/idris-sodium
A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP
GitHub repository with 5 stars and 0 forks.
Language: Idris
Latest metric snapshot
2026-06-15: 5 stars and 0 forks.
A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP
GitHub repository with 5 stars and 0 forks.
Language: Idris
2026-06-15: 5 stars and 0 forks.