Skip to main content

Bluish Coder

Programming Languages, Martials Arts and Computers. The Weblog of Chris Double.

Archive: July 2013

July 1, 2013 Constructing Proofs with dataprop in ATS

Tags

aliceml (3) ats (33) erlang (20) factor (61) freenet (7) haskell (22) inferno (8) javascript (51) lisp (18) misc (49) mozartoz (2) mozilla (117) nixos (3) pitcairn (5) pony (8) proglang (264) prolog (4) rust (5) waspvm (8)

Archive

2026
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005

Links

Articles
Radio Weblog Archive

© 2026 Chris Double. All rights reserved.

This site is accessible as a Tor onion service at 6vp5u25g4izec5c37wv52skvecikld6kysvsivnl6sdg6q7wy25lixad.onion

This site is accessible via Freenet at USK@1ORdIvjL2H1bZblJcP8hu2LjjKtVB-rVzp8mLty~5N4,8hL85otZBbq0geDsSKkBK4sKESL2SrNVecFZz9NxGVQ,AQACAAE/bluishcoder/-61/