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

github.com/jfdm/positively-negative

Problem

Audience

Updates

No founder updates yet. Check back soon.