search

stefan-hoeck / idris2-dom-mvc

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

[ refactor ] dont use auto-implicits for ListEnv #60

Closed stefan-hoeck closed 6 months ago