Sun, 13 May 2018 21:20:28 +0200 | wenzelm | more uniform types vs. consts; | file | diff | annotate |
Sun, 13 May 2018 20:24:33 +0200 | wenzelm | more concise information; | file | diff | annotate |
Sun, 13 May 2018 20:04:59 +0200 | wenzelm | export foundational theory content in Scala; | file | diff | annotate |