projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d45829a) | patch
Proved (?) that equality coincides with bisimilarity.
authorNils Anders Danielsson <nad@cse.gu.se>
Thu, 9 Apr 2015 14:35:00 +0000 (16:35 +0200)
committerNils Anders Danielsson <nad@cse.gu.se>
Thu, 9 Apr 2015 14:35:00 +0000 (16:35 +0200)
commitdf191b182ef56464f551e530b1c46d6b37cf27f7
treef906c12b6bbafa10be53d9fe4ce01a7442fc1475tree | snapshot
parentd45829ab83fff9670434f4a718afc477f7f6ac1bcommit | diff
Proved (?) that equality coincides with bisimilarity.

With help from Thierry Coquand and Simon Huber.
examples/stream.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.