Skip to content

Releases: groupoid/henk.ex

November 2017

31 Oct 05:07
@5HT 5HT
1.11
e2fbc18
Compare
Choose a tag to compare
November 2017 Latest
Latest
  • More Robust
Assets 2
Loading

October 2017

01 Oct 10:48
@5HT 5HT
1.10
7a56b94
Compare
Choose a tag to compare
October 2017
  • New Cache and Faster Typechecker
  • Posets
  • Setoids
Assets 2
Loading

March 2016

03 Mar 17:15
@5HT 5HT
0.3
c7a5a3b
Compare
Choose a tag to compare
March 2016
  • Single File Executable
  • Demo
  • Modes: erased, girard, hurkens, normal, setoids
Assets 3
Loading