red.qyz.cz

Collection of Red related articles by Boleslav Březovský (a blog?)

You can contact me on Twitter: @rebolek

9-11-2016 Code is data

7-11-2016 Safe and persistent local values

5-11-2016 Dependent types and value assertion