Equations for subst and J
authorSimon Huber <hubsim@gmail.com>
Wed, 24 Jun 2015 09:50:42 +0000 (11:50 +0200)
committerSimon Huber <hubsim@gmail.com>
Wed, 24 Jun 2015 09:50:42 +0000 (11:50 +0200)
commitf155a8cad6d1f290b72088348853029df6c283ac
tree38cadc3097cab15ddee1b7a2a79d6660963271f6
parent88a6aae63dd880ecaa8a2409d6259511371d67ff
Equations for subst and J
examples/prelude.ctt