GitHub - BartAdv/idris-sodium: A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
FRP		FRP
.gitignore		.gitignore
Repro.idr		Repro.idr
Test.idr		Test.idr
sodium.ipkg		sodium.ipkg

About

A simple Idris implementation of Sodium FRP library, following TypeScript port. WIP

Report repository

Releases

No releases published

Packages

Contributors

Languages

Idris 100.0%