projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aec9cc0) | patch
Fix printing of Pi types
authorAnders Mörtberg <andersmortberg@gmail.com>
Mon, 26 Oct 2015 14:52:21 +0000 (10:52 -0400)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 26 Oct 2015 14:52:21 +0000 (10:52 -0400)
commitee27e07d8a395b0caba82b8e29261da2dcfffbb2
tree6b216532d424897e94cea994319775d82e657b15tree | snapshot
parentaec9cc0851c98d9e640424ded8b6d81f0d7e3f32commit | diff
Fix printing of Pi types
CTT.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.