search

stefan-hoeck / idris2-linux

Utilities for using Idris2 on GNU/Linux systems
BSD 3-Clause "New" or "Revised" License
6 stars 1 forks source link

[ new ] add support for timers #39

Closed stefan-hoeck closed 2 months ago

stefan-hoeck commented 2 months ago

Now working through chapter 23...