search

stefan-hoeck / idris2-dom-mvc

Single Page Web Applications in Idris
BSD 3-Clause "New" or "Revised" License
19 stars 2 forks source link

[ fix, refactor ] dont combine environments via auto-implicits #63

Closed stefan-hoeck closed 8 months ago