positively-negative. Adventures in being positively negative when deciding things in Idris.

github.com/jfdm/positively-negative

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.