funext from interval
authorSimon Huber <hubsim@gmail.com>
Thu, 9 Apr 2015 11:16:33 +0000 (13:16 +0200)
committerSimon Huber <hubsim@gmail.com>
Thu, 9 Apr 2015 11:16:33 +0000 (13:16 +0200)
commit7786ab9f5814ecf53c418805fd0cd55c47698268
tree4a334211f61bcd657664c8412c40734522665e88
parent6701e40f9e1315e4fe87474a6016468c3bf9b151
funext from interval
examples/interval.ctt [new file with mode: 0644]