Skip to content

Releases: groupoid/henk

November 2017

31 Oct 05:07
@5HT 5HT
1.11
e2fbc18

Choose a tag to compare

View all tags
November 2017 Latest
Latest
  • More Robust
Assets 2
Loading

October 2017

01 Oct 10:48
@5HT 5HT
1.10
7a56b94

Choose a tag to compare

View all tags
October 2017
  • New Cache and Faster Typechecker
  • Posets
  • Setoids
Loading

March 2016

03 Mar 17:15
@5HT 5HT
0.3
c7a5a3b

Choose a tag to compare

View all tags
March 2016
  • Single File Executable
  • Demo
  • Modes: erased, girard, hurkens, normal, setoids
Loading