[HN Gopher] Rosette: A solver-aided programming language
       ___________________________________________________________________
        
       Rosette: A solver-aided programming language
        
       Author : tosh
       Score  : 6 points
       Date   : 2021-11-24 18:21 UTC (4 hours ago)
        
 (HTM) web link (emina.github.io)
 (TXT) w3m dump (emina.github.io)
        
       | dang wrote:
       | Some past related threads:
       | 
       |  _Rosette: Solver-aided programming language_ -
       | https://news.ycombinator.com/item?id=18665441 - Dec 2018 (1
       | comment)
       | 
       |  _Rosette - A solver-aided programming language that extends
       | Racket_ - https://news.ycombinator.com/item?id=14481355 - June
       | 2017 (11 comments)
       | 
       |  _Rosette: a solver-aided programming language that extends
       | Racket_ - https://news.ycombinator.com/item?id=11411570 - April
       | 2016 (8 comments)
       | 
       |  _Rosette - A solver-aided programming language_ -
       | https://news.ycombinator.com/item?id=10245307 - Sept 2015 (2
       | comments)
        
       ___________________________________________________________________
       (page generated 2021-11-24 23:03 UTC)