non-trivial exercise for session 2

nomeata / incredible

The Incredible Proof Machine

MIT License

358 stars 36 forks source link

non-trivial exercise for session 2 #97

Closed lohner closed 6 years ago

lohner commented 6 years ago

Have fun solving a new task :)

nomeata commented 6 years ago

Nice!

michaelgwelch commented 6 years ago

@nomeata I don't yet see this deployed. Is it due to the Travis CI error?

nomeata commented 6 years ago

Yes … I will look into that later. There is ongoing work in providing ghcjs in a PPA (see https://travis-ci.org/nomeata/ghcjs2gh-pages/builds/407165852 for a successful run) which will make the travis part simpler…

Patches welcome, of course :-)

michaelgwelch commented 6 years ago

@lohner that is a fun little proof for session 2. At first I assumed it would need some trickery not available in session 2, but quickly discovered how it's easily handled.

nomeata commented 6 years ago

Ok, I did some anti-bitrot. It now builds with ghc-8.2 and ghcjs-8.2, the travis setup is modernized, and the new version is (finally) online!