Fix bug in gensym and add Square
authorAnders <mortberg@chalmers.se>
Fri, 20 Mar 2015 09:30:07 +0000 (10:30 +0100)
committerAnders <mortberg@chalmers.se>
Fri, 20 Mar 2015 09:30:07 +0000 (10:30 +0100)
commit0f0cae07f753656d0e81e8dbc8a8720be2cab825
tree4d439403691875565ed6cd252aa874d474226e6e
parent41bff376f8f9518a15795e03c1462e7645271d37
Fix bug in gensym and add Square
Connections.hs
examples/nat.ctt